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 |
Wed, 29 Apr 2009 17:57:16 -0700 | huffman | reorient simproc for unsigned numerals | changeset | files |
Wed, 29 Apr 2009 17:15:01 -0700 | huffman | reimplement reorientation simproc using theory data | changeset | files |
Wed, 29 Apr 2009 13:36:29 -0700 | huffman | use opaque ascription for all HOLCF code | changeset | files |
Wed, 29 Apr 2009 21:10:46 +0200 | nipkow | added listsum lemmas | changeset | files |