added clasimp.ML;

--- a/src/Provers/README	Wed Feb 25 20:29:58 1998 +0100
+++ b/src/Provers/README	Thu Feb 26 10:41:36 1998 +0100
@@ -6,6 +6,7 @@
 Reference Manual.
 
   blast.ML              generic tableau prover with proof reconstruction
+  clasimp.ML		combination of classical reasoner and simplifier
   classical.ML          theorem prover for classical logics
   genelim.ML            bits and pieces for deriving elimination rules
   hypsubst.ML           tactic to substitute in the hypotheses