src/HOL/ex/document/root.tex
2006-02-12 wenzelm 2006-02-12 \usepackage{amssymb};
2005-04-28 bauerg 2005-04-28 *** empty log message ***
2001-12-14 wenzelm 2001-12-14 \usepackage[latin1]{inputenc};
2001-12-04 wenzelm 2001-12-04 \usepackage{textcomp};
2001-11-08 wenzelm 2001-11-08 tuned;
2001-11-03 wenzelm 2001-11-03 tuned;
2001-10-17 wenzelm 2001-10-17 guillemot syntax;
2001-09-27 wenzelm 2001-09-27 tuned;
2001-09-27 wenzelm 2001-09-27 document setup;