src/HOL/Induct/ROOT.ML
2001-02-03 wenzelm 2001-02-03 Induct: converted some theories to new-style format;
2001-01-12 wenzelm 2001-01-12 added Sigma_Algebra;
2000-12-01 wenzelm 2000-12-01 removed quick_and_dirty;
2000-10-18 wenzelm 2000-10-18 removed Acc and Multiset (see HOL/Library);
2000-09-13 wenzelm 2000-09-13 LFilter: setmp quick_and_dirty false;
2000-07-27 wenzelm 2000-07-27 tuned;
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