src/HOL/document/root.tex
2010-12-03 wenzelm 2010-12-03 recoded latin1 as utf8; use textcomp for some text symbols where it appears appropriate;
2009-03-06 haftmann 2009-03-06 added babel -- necessary for bind infix syntax
2008-09-16 haftmann 2008-09-16 removed babel again
2008-09-16 haftmann 2008-09-16 added babel
2005-08-28 wenzelm 2005-08-28 tuned size of included graph;
2005-07-08 nipkow 2005-07-08 added Davenport reference
2005-04-10 nipkow 2005-04-10 _(_|_) is now override_on
2005-02-07 nipkow 2005-02-07 fixed latex problems by including bigsqcap
2004-05-06 wenzelm 2004-05-06 tuned document;
2004-04-16 wenzelm 2004-04-16 more elaborate header markup;
2002-01-13 wenzelm 2002-01-13 \usepackage[latin1]{inputenc};
2001-12-06 wenzelm 2001-12-06 include session graph;
2001-11-03 wenzelm 2001-11-03 document setup;