changeset 13735 | 7de9342aca7a |
parent 11840 | 54fe56353704 |
child 13736 | 6ea0e7c43c4f |
--- a/src/Provers/README Wed Nov 27 17:25:41 2002 +0100 +++ b/src/Provers/README Thu Nov 28 10:50:42 2002 +0100 @@ -16,6 +16,7 @@ simplifier.ML fast simplifier split_paired_all.ML turn surjective pairing into split rule splitter.ML performs case splits for simplifier.ML + trans.ML transitivity reasoner for linear (total) orders typedsimp.ML basic simplifier for explicitly typed logics directory Arith: