| Sun, 21 Oct 2007 14:53:44 +0200 | nipkow | Eliminated most of the neq0_conv occurrences. As a result, many | file | diff | annotate |
| Sat, 20 Oct 2007 12:09:33 +0200 | chaieb | fixed proofs | 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 16:44:35 +0200 | huffman | move if_simps from BinBoolList to Num_Lemmas | file | diff | annotate |
| Wed, 22 Aug 2007 01:42:35 +0200 | huffman | move bool list stuff from BinOperations to BinBoolList; | file | diff | annotate |
| Mon, 20 Aug 2007 19:51:01 +0200 | huffman | use overloaded bitwise operators at type int | 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 |