| Fri, 24 Aug 2007 00:23:51 +0200 | huffman | bin_sc_nth proof | file | diff | annotate |
| Thu, 23 Aug 2007 23:34:51 +0200 | huffman | avoid use of bin_rec_PM | 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 23:00:17 +0200 | huffman | AC rules for bitwise logical operators no longer declared simp | file | diff | annotate |
| Mon, 20 Aug 2007 22:57:50 +0200 | huffman | move bit simps from BinOperations to BitSyntax | file | diff | annotate |
| Mon, 20 Aug 2007 21:31:10 +0200 | huffman | reorganize into subsections | 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 |