Tue, 10 Jun 2008 19:45:53 +0200 | wenzelm | adhoc fix of induct_tac: rule nat_induct; | file | diff | annotate |
Fri, 04 Apr 2008 13:40:25 +0200 | haftmann | renamed app2 to map2 | file | diff | annotate |
Thu, 08 Nov 2007 20:08:00 +0100 | wenzelm | eliminated illegal schematic variables in where/of; | file | diff | annotate |
Tue, 28 Aug 2007 20:13:47 +0200 | huffman | revert to Word library version from 2007/08/20 | file | diff | annotate |
Wed, 22 Aug 2007 21:09:21 +0200 | huffman | removed Word/Size.thy; | 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 |