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