| Tue, 28 Aug 2007 20:13:47 +0200 | huffman | revert to Word library version from 2007/08/20 | file | diff | annotate |
| Fri, 24 Aug 2007 00:37:12 +0200 | huffman | remove unused lemmas | file | diff | annotate |
| Thu, 23 Aug 2007 23:37:51 +0200 | huffman | remove lemma bin_rec_PM | file | diff | annotate |
| Thu, 23 Aug 2007 18:52:44 +0200 | huffman | import BinInduct; | file | diff | annotate |
| Thu, 23 Aug 2007 15:47:42 +0200 | huffman | move bin_nth stuff to its own subsection | file | diff | annotate |
| Tue, 21 Aug 2007 17:24:57 +0200 | huffman | move BIT datatype stuff from Num_Lemmas to BinGeneral | file | diff | annotate |
| Tue, 21 Aug 2007 17:20:41 +0200 | huffman | simplify termination proof | file | diff | annotate |
| Mon, 20 Aug 2007 22:48:24 +0200 | huffman | minimize imports | file | diff | annotate |
| Mon, 20 Aug 2007 21:31:10 +0200 | huffman | reorganize into subsections | 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 |