pristine:f59d1e1a407bb906977188fb9b79594426a1c62939420804f4aa7dd9e566b67e [Initial import David Fox **20100802170825 Ignore-this: d6c858cf5dc5e30aa438861541426a8e ] hash: 0000005087-edee2bda80b060d86bf7bd47a947247357996690f026834861d8e4b9bc8beb07 [Export the CNF symbols David Fox **20100802181409 Ignore-this: ef2ee5b3a1e9b0a9c0f6604e49ef6d2c ] hash: 0000000664-b0674ad968990cda1bbfdae2994cac24b3a6805ae353d55594535c9f56fd1fc4 [Add a version of assertTrue that accepts CNF instead of Boolean David Fox **20100802203339 Ignore-this: 264dfa24a80a8ac645db068e6f8c2a03 ] hash: 0000001281-f5e05e9648cfe97ff4d75e9e12b5269a0b95c9fd0264a22da666d3b2aa78ce33 [Changes for new ghc 7 package David Fox **20110418211037 Ignore-this: 6bdfe79e6b0837ef02389d0933d65da3 ] hash: 0000001011-5fcc1d8eac825d647f55445d570b09d15e87a03ba911de7539ae9a1a3dd55225 [Bump version to match last upload David Fox **20110905031403 Ignore-this: a9cf90736388fa3a98a6abe17ef8ccda ] hash: 0000000290-2e51366970d4d14f469ac6d2ad384102a67863b169ad887ab9ce516bba9ab381