src/HOL/Library/ROOT.ML
2010-08-18 ago removed Code_Prolog: modifies global environment setup non-conservatively
2010-08-03 ago renamed funny Library ROOT files back to default ROOT.ML -- ML files are no longer located via implicit load path (cf. 2b9bfa0b44f1);
2001-05-31 ago added Library/Nat_Infinity.thy and Library/Continuity.thy
2001-02-04 ago tuned
2001-01-26 ago Merged Example into While_Combi
2000-10-18 ago "The Supplemental Isabelle/HOL Library";