src/HOL/Induct/ROOT.ML
2000-05-30 wenzelm 2000-05-30 cleaned up;
2000-05-22 paulson 2000-05-22 loading the new theory MultisetOrder
1999-07-16 berghofe 1999-07-16 Added new example (infinitely branching trees).
1999-03-11 wenzelm 1999-03-11 removed foo_build_completed -- now handled by session management (via usedir);
1998-10-23 berghofe 1998-10-23 Added new theory ABexp, removed obsolete theory Simult.
1998-10-09 nipkow 1998-10-09 Multisets at last!
1998-10-06 nipkow 1998-10-06 Merges FoldSet into Finite
1998-09-01 paulson 1998-09-01 new theory Induct/FoldSet
1998-06-25 paulson 1998-06-25 Installation of target HOL-Real
1997-12-19 wenzelm 1997-12-19 tuned;
1997-05-07 paulson 1997-05-07 New directory to contain examples of (co)inductive definitions