pristine:b6c43a14ea4d23711f38ba8c3e92f3249b50e8df860062d49cf6725592b5928c [Import unpacked tarball David Fox **20100704141944 Ignore-this: e936cf458dbe6b6bde2e8adf267f82d7 ] hash: 0000195295-cd23bf0b99d92ce91bde0dc00722c69dd347dfe76c1322d4ac974b29f06a7327 [Remove the parser, we will use haskell expressions directly David Fox **20100704154650 Ignore-this: 468098f65db8519e527d0d05cc4a25c2 ] hash: 0000005905-523fd0b07103abe121a278d557987b621676d2c2da957ae15b95497e6091eaaa [Cabalize, fix the monad, get it to run, but the examples come out wrong David Fox **20100705024643 Ignore-this: 4bdbaddd8edef0adeab725c33c556f67 ] hash: 0000016014-7ae805e5a630e153597f186795f5a5cb29b27666b6c4c0825c9c35328cfa6dcb [I had typed in some contants as variables, fix the show method to help distinguish David Fox **20100705032345 Ignore-this: 783d9391413f91dac8ea7cd4a7ad1830 ] hash: 0000002128-804d76c0e6b1461d6427e2d53d9adc3079ec1b977af28422fa584f1f540a1184 [Add second test proof, improve output format of successful run David Fox **20100705064346 Ignore-this: 74507518ed28d95d6b6930830814f8f0 ] hash: 0000003959-f6e1fab8302a15e705f7dd1efcb07a7ca750b02215d3b2e3790b3bc5417ddc93 [Remove some obsolete code David Fox **20100705064729 Ignore-this: 543532c5cfc996970ebce18149aeb6ed ] hash: 0000004984-ff93dadf6c14091c8701c82e11550c56a5188c46ea8378807084fa8c7128579d [Eliminate compiler warnings, mostly for unused binds David Fox **20100705065709 Ignore-this: e54461eaade7738a29fdf4fe06335649 ] hash: 0000004260-eb51655a33fe30acf2a4074a0b5c46ab4ed07ef6b8f56d1cc9de1c594b5dfed2 [Split the main test program out of Prover.hs David Fox **20100705070214 Ignore-this: a302eb8db4eb7694550297016f671303 ] hash: 0000007849-5617de9634064aa3e7efa0a4236d8b4afa83bd0696ddf783e66a5331043923dd [Changes to get debianiation to work David Fox **20100705071044 Ignore-this: a32763443435cb21da04e0912d8f7b8b ] hash: 0000000384-7fb9dd6675177dc75b8a470913f62f68bc4afd75f16af3f7816f66f02194868d [Group the modules in a Chiou heirarchy David Fox **20100705155910 Ignore-this: 51ac1215780bbcbfa9af07c1d6b0d148 ] hash: 0000003624-e6d13993799b7c45dc21ee730352299a186c6709bb3a73208349a2aafa1680ec [Make the State type a real record, work on Skolem handling David Fox **20100705234040 Ignore-this: 5783ec8b317940e2090742b3ed26f89 ] hash: 0000003972-8d487eb031ebdbaabf1cf02eb7c79c4a47a2d131733686185ba4acd3058d62ae [Derive Ord instances for the Sentence type, so we can store them in a set David Fox **20100706191547 Ignore-this: 6b2a16a4e39c240a691d02e0a913fdfa ] hash: 0000000542-242c10308fca42473693c6117f626ffcb5f07d49c8872e35f948daac1badd0c5 [Move debian directory into this repository David Fox **20100706204149 Ignore-this: 25481aa88f843d7db3efa516ed38ede1 ] hash: 0000003167-471bbf60d9e90a159da73de05778838799d82253bffe2b71e540f82d6e069b0f [Version 0.5, parameterize the types David Fox **20100706230145 Ignore-this: ecea21760591572572ae7f72e8d5a936 ] hash: 0000030336-d41001d1088e974545bd5589f77307bcc78a399416877289642d60f541373a1a [Add dependencies on hunit debs David Fox **20100707023130 Ignore-this: a5a71b8dfdc4667e888e202c8e095833 ] hash: 0000000330-a5c57541de66f70bf326239f8b1d4336eb0b2c686fa93ef61edaf4d95d3dcf56 [Version 0.6 - Validate entries added to knowledgebase David Fox **20100707200814 Ignore-this: d48cffa00f2f281b190003d6d1e3e7f3 ] hash: 0000059656-02331fe11ea6e574ec9a3e8a55949cd1b0d0a79d85125b273a2c1659eba7ecc4 [Port the polymorphic implementation of distributeAndOverOr to this package, the one here is buggy David Fox **20100707230541 Ignore-this: 2e9f07ad1b35dd0e625fb7662124b6f8 ] hash: 0000004183-6a224f8e18a4288c6672999304f63f0e8e9e2f7c720e2574b9dc8f77830b9700 [Update test suite David Fox **20100707230639 Ignore-this: 47cbc90f4b0884269502b65010efe31b ] hash: 0000015394-204b182e2ff45dbecbee2cd7cc0aaf4b173efc9bcc7b23d1297856e56d1b9635 [Update changelog David Fox **20100707230700 Ignore-this: e49c08bde501ceceab9e17822e7b2b43 ] hash: 0000000505-37b2b474c1964ef4c1294a60e7706769f9d720e9b1cccbcca507c85ec1e9a584 [Fix to avoid doing equality substitutions when the lhs and rhs are equal David Fox **20110722162553 Ignore-this: 344f093d8244b8bf18b8d9476bbdb480 ] hash: 0000002627-8c2095b044637de8030f2b7a9ac31f600be8f3e07d1bc6097b2019f85de0f65f [Update for ghc7 David Fox **20110722162703 Ignore-this: 2eaa3beede987d2540a81d2c04baa201 ] hash: 0000001054-df0065c25b12553c541300f93b03abeffe4a3711464c9968caadaaaec9ee0263