src/HOL/ex/document/root.tex
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};
less more (0) -3 tip