added clasimp.ML;
authorwenzelm
Thu Feb 26 10:41:36 1998 +0100 (1998-02-26)
changeset 4654dbeae12ada20
parent 4653 d60f76680bf4
child 4655 481628ea8edd
added clasimp.ML;
src/Provers/README
     1.1 --- a/src/Provers/README	Wed Feb 25 20:29:58 1998 +0100
     1.2 +++ b/src/Provers/README	Thu Feb 26 10:41:36 1998 +0100
     1.3 @@ -6,6 +6,7 @@
     1.4  Reference Manual.
     1.5  
     1.6    blast.ML              generic tableau prover with proof reconstruction
     1.7 +  clasimp.ML		combination of classical reasoner and simplifier
     1.8    classical.ML          theorem prover for classical logics
     1.9    genelim.ML            bits and pieces for deriving elimination rules
    1.10    hypsubst.ML           tactic to substitute in the hypotheses