| Fri, 04 Apr 2008 13:40:26 +0200 | haftmann | syntactic classes for bit operations | 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 |
| Wed, 02 Jan 2008 15:14:02 +0100 | haftmann | splitted class uminus from class minus | file | diff | annotate |
| Sat, 10 Nov 2007 23:03:52 +0100 | wenzelm | tuned specifications of 'notation'; | 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 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 |