2010-12-20 ago proper identifiers for consts and types;
2010-03-13 ago removed old CVS Ids;
2008-03-18 ago converted legacy ML scripts;
2005-09-18 ago converted to Isar theory format;
2005-09-12 ago introduced new-style AList operations
2005-03-03 ago Move towards standard functions.
2005-02-13 ago Deleted Library.option type.
1998-08-12 ago the splitter is now defined as a functor
1997-10-10 ago fixed dots;
1997-02-10 ago Renamed structure Int (intuitionistic prover) to IntPr to prevent clash
1996-01-30 ago expanded tabs
1996-01-29 ago expanded tabs
1995-04-06 ago No longer builds the induction structure (from ../Provers/ind.ML)
1993-09-16 ago Initial revision