src/HOL/Auth/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-02-14 huffman 2009-02-14 fix document generation
2005-08-28 wenzelm 2005-08-28 tuned size of included graph;
2004-05-11 paulson 2004-05-11 package needed for superscripts
2003-05-05 paulson 2003-05-05 improved presentation of HOL/Auth theories