src/Provers/README
2010-07-28 haftmann 2010-07-28 dropped dead code
2009-02-28 wenzelm 2009-02-28 some updates on ancient README;
2005-05-22 wenzelm 2005-05-22 Simplifier already setup in Pure;
2002-11-28 ballarin 2002-11-28 Transitivity reasoner renamed to linorder.ML. README updated.
2002-11-28 ballarin 2002-11-28 HOL-Algebra partially ported to Isar.
2001-10-19 wenzelm 2001-10-19 induct_method.ML -- proof by cases and induction on sets and types (Isar);
2000-05-12 paulson 2000-05-12 updated
1998-11-16 wenzelm 1998-11-16 removed genelim.ML;
1998-10-20 wenzelm 1998-10-20 split_paired_all.ML: turn surjective pairing into split rule;
1998-02-26 wenzelm 1998-02-26 added clasimp.ML;
1998-02-12 wenzelm 1998-02-12 updated;
1997-11-26 wenzelm 1997-11-26 tuned;
1997-05-21 wenzelm 1997-05-21 tuned all READMEs;
1993-12-13 lcp 1993-12-13 added mention of simplifier, splitter, hypsubst
1993-09-16 clasohm 1993-09-16 Initial revision