src/HOL/Library/document/root.tex
2015-04-15 wenzelm 2015-04-15 use wasysym for \<hole>;
2014-11-02 wenzelm 2014-11-02 modernized header;
2011-04-27 wenzelm 2011-04-27 predefined LaTeX macros for \<bind> and \<then>;
2010-12-03 wenzelm 2010-12-03 recoded latin1 as utf8; use textcomp for some text symbols where it appears appropriate;
2010-07-19 haftmann 2010-07-19 bind and then latex symbols
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-12-11 wenzelm 2001-12-11 tuned;
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
2001-02-04 wenzelm 2001-02-04 updated
2000-12-14 wenzelm 2000-12-14 tuned;
2000-10-22 wenzelm 2000-10-22 tuned;
2000-10-18 wenzelm 2000-10-18 "The Supplemental Isabelle/HOL Library";