perm filename BMP[3,2] blob sn#760072 filedate 1984-07-02 generic text, type T, neo UTF8
BMP is a MACLISP version of the Boyer-Moore theorem prover.
It can be run at SAIL by typing 

.r BMP

READ BMP.CLT[UP,DOC] for more information.
Gripes etc. → CLT