| Thu, 26 Feb 2009 08:44:44 -0800 | huffman | remove unnecessary simp rules | file | diff | annotate |
| Thu, 19 Feb 2009 12:26:32 -0800 | huffman | add rule for minus 1 at type bit | file | diff | annotate |
| Thu, 19 Feb 2009 12:03:31 -0800 | huffman | add formalization of a type of integers mod 2 to Library | file | diff | annotate |