2001-10-19 ago induct_method.ML -- proof by cases and induction on sets and types (Isar);
2000-05-12 ago updated
1998-11-16 ago removed genelim.ML;
1998-10-20 ago split_paired_all.ML: turn surjective pairing into split rule;
1998-02-26 ago added clasimp.ML;
1998-02-12 ago updated;
1997-11-26 ago tuned;
1997-05-21 ago tuned all READMEs;
1993-12-13 ago added mention of simplifier, splitter, hypsubst
1993-09-16 ago Initial revision