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 |