Sat, 14 Feb 2009 01:23:38 -0800 | huffman | fix document generation | file | diff | annotate |
Sun, 28 Aug 2005 16:04:43 +0200 | wenzelm | tuned size of included graph; | file | diff | annotate |
Tue, 11 May 2004 10:48:30 +0200 | paulson | package needed for superscripts | file | diff | annotate |
Mon, 05 May 2003 18:22:01 +0200 | paulson | improved presentation of HOL/Auth theories | file | diff | annotate |