src/HOL/Library/document/root.bib
14 months ago Andreas Lochbihler 2018-05-12 new tool Code_Lazy
2010-05-25 wenzelm 2010-05-25 eliminated slightly odd Library/Library session setup (cf. d7711be8c3a9) which is obsolete due to usedir -f HOL_Library_ROOT.ML;
2001-06-09 wenzelm 2001-06-09 tuned Primes theory;
2001-05-31 oheimb 2001-05-31 added Library/Nat_Infinity.thy and Library/Continuity.thy
2000-10-22 wenzelm 2000-10-22 simplified quotients (only plain total equivs);
2000-10-19 wenzelm 2000-10-19 tuned;
2000-10-18 wenzelm 2000-10-18 "The Supplemental Isabelle/HOL Library";