Tue, 10 Jun 2008 21:50:30 +0200 | wenzelm | fixed spelling (Where is WordExamples.thy anyway?); | file | diff | annotate |
Fri, 04 Apr 2008 13:40:27 +0200 | haftmann | tuned | file | diff | annotate |
Sun, 17 Feb 2008 06:49:53 +0100 | huffman | New simpler representation of numerals, using Bit0 and Bit1 instead of BIT, B0, and B1 | 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 |