| Fri, 30 Dec 2011 16:08:35 +0100 | huffman | add simp rules for bitwise word operations with 1 | file | diff | annotate |
| Wed, 28 Dec 2011 13:20:46 +0100 | huffman | add several new tests, most of which don't work yet | file | diff | annotate |
| Wed, 07 Sep 2011 00:08:09 +0200 | wenzelm | tuned proofs; | file | diff | annotate |
| Sat, 23 Apr 2011 13:00:19 +0200 | wenzelm | modernized specifications; | file | diff | annotate |
| Tue, 27 Jan 2009 13:41:45 +0100 | wenzelm | recovered example types from WordMain.thy; | file | diff | annotate |
| Mon, 26 Jan 2009 22:14:17 +0100 | haftmann | tuned header | 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 |