Thu, 30 Apr 2009 11:14:04 -0700 | huffman | clean up unsigned numeral proofs | changeset | files |
Thu, 30 Apr 2009 07:33:40 -0700 | huffman | detect error cases in mk_num, dest_num | changeset | files |
Wed, 29 Apr 2009 20:33:52 -0700 | huffman | add semiring_assoc_fold simproc for unsigned numerals | changeset | files |