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 |