src/HOL/document/root.tex
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;