| Mon, 20 Aug 2007 22:57:50 +0200 | huffman | move bit simps from BinOperations to BitSyntax | file | diff | annotate |
| Mon, 20 Aug 2007 19:14:18 +0200 | huffman | use class instead of axclass | file | diff | annotate |
| Mon, 20 Aug 2007 04:44:35 +0200 | kleing | added header | file | diff | annotate |
| Mon, 20 Aug 2007 04:34:31 +0200 | kleing | * HOL-Word: | file | diff | annotate |