Wed, 15 Mar 2017 19:33:34 +0100 | wenzelm | misc tuning and modernization; | file | diff | annotate |
Sun, 02 Nov 2014 16:54:06 +0100 | wenzelm | modernized header; | file | diff | annotate |
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 |