| Mon, 26 Jan 2009 22:14:18 +0100 | haftmann | stripped Id | file | diff | annotate |
| Mon, 15 Dec 2008 18:12:52 +0100 | ballarin | More porting to new locales. | file | diff | annotate |
| Tue, 10 Jun 2008 23:28:35 +0200 | wenzelm | proper deletion of nat cases/induct rules from type_definition; | file | diff | annotate |
| Tue, 10 Jun 2008 21:49:37 +0200 | wenzelm | more robust declaration of nat_induct; | file | diff | annotate |
| Fri, 04 Apr 2008 13:40:27 +0200 | haftmann | tuned | 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 18:11:09 +0200 | huffman | headers for document generation | file | diff | annotate |
| Mon, 20 Aug 2007 04:34:31 +0200 | kleing | * HOL-Word: | file | diff | annotate |