Wed, 12 May 2010 14:17:26 +0200 | wenzelm | removed obsolete CVS Ids; | file | diff | annotate |
Mon, 05 Nov 2007 22:00:21 +0100 | kleing | acknowledge authors | file | diff | annotate |
Fri, 02 Nov 2007 12:35:27 +0100 | kleing | Added reference to Jeremy Dawson's paper on the word library. | file | diff | annotate |
Mon, 20 Aug 2007 17:31:59 +0200 | huffman | new root.tex for HOL-Word | file | diff | annotate |