src/HOL/ex/document/root.tex
Sun, 09 Feb 2014 17:41:17 +0100 wenzelm removed junk;
Fri, 03 Dec 2010 20:38:58 +0100 wenzelm recoded latin1 as utf8;
Sun, 12 Feb 2006 20:32:59 +0100 wenzelm \usepackage{amssymb};
Thu, 28 Apr 2005 17:08:08 +0200 bauerg *** empty log message ***
Fri, 14 Dec 2001 22:28:13 +0100 wenzelm \usepackage[latin1]{inputenc};
Tue, 04 Dec 2001 02:02:10 +0100 wenzelm \usepackage{textcomp};
Thu, 08 Nov 2001 23:50:08 +0100 wenzelm tuned;
Sat, 03 Nov 2001 01:33:54 +0100 wenzelm tuned;
Wed, 17 Oct 2001 20:25:51 +0200 wenzelm guillemot syntax;
Thu, 27 Sep 2001 18:42:47 +0200 wenzelm tuned;
Thu, 27 Sep 2001 15:42:01 +0200 wenzelm document setup;
less more (0) tip