pristine:a440be5d19822d13a1d7a146dab520d872c3a93c8be23a6793387b7b6c049165 [Initial import David Fox **20100618203455 Ignore-this: 124013f9698cf10c254c184f89f48274 ] hash: 0000025261-60064d1f26a6c1d5ac665db65f78ad845ac2d99fc96d82fa0354a777753ccf20 [Parameterize the AtomicPredicate type in Formula David Fox **20100618204646 Ignore-this: fcb4690220159f813c8f768eda68436 ] hash: 0000001119-a9b0e2f74bcc4bd399541e51b38712cf93f94c81e43d84aabf51d21c08f56002 [Big update David Fox **20100623211827 Ignore-this: 72331a79e71ea70a514884cc4477330b ] hash: 0000070723-e8bb2d730c6bd7c75f71b2f066aae8d0913ad1fa7f7d2a53644de116d078a9d5 [Add debianizatino David Fox **20100623211943 Ignore-this: 3f0ffa60dd08b68780e6c1bed2975c87 ] hash: 0000003498-b4a5d38e272eaea38cd983a4fede967b61a70f65356fedd821f7690f656fc0c5 [Split the Formulae type class into two: PropositionalLogic and FirstOrderLogic David Fox **20100623222336 Ignore-this: c33a0a0fe6408f575d3cf172b2553fed ] hash: 0000013586-076fe0ffb9296408dfb2e97722eaa9aeb477d03bc7312a1eaedb2aff3d2b60fb [Add functions to convert between different instances of the Logic classes David Fox **20100623231256 Ignore-this: 2911cedb8c94f963d6fb205641957ea3 ] hash: 0000003210-58898e782330992e0783f3ae63fc3493dbf0ca5c59333043093ee79bdc981088 [Add a function to convert FirstOrderLogic to PropositionalLogic David Fox **20100623233745 Ignore-this: 3ff2d27e74f156e179709a17989777c8 ] hash: 0000001463-703e51e15a5afc67c2a9f5c46a22b4a3a208b6917451b9f9ecf32f1fbcecbf54 [Move more functionality from PropositionalLogic to FirstOrderLogic, create a PropLogic instance of PropositionalLogic, test case for conversion to PropLogic David Fox **20100624134543 Ignore-this: 7167a3ea714bcca131336dbee856181b ] hash: 0000024681-3262eb8dcaf7a8bdecb7bfb7648f61a5b3d70bd71e115fbb9059be5bf973aaa8 [Rename FirstOrderLogic -> PredicateLogic, split Class module into Propositional and Predicate David Fox **20100624140923 Ignore-this: 948c8de1968c2e7b6a3f08c58ee52fbe ] hash: 0000021290-6b45083f37770e022a9596a1f92fef08ca6dd28ee2482e5596e3b2418eaa553b [Fix bugs in the distributeDisjuncts and convertProp functions, fix test cases David Fox **20100624143048 Ignore-this: 47aeff3ee002f3dd14528326edac661e ] hash: 0000005039-1a5845875048c8b1415ae5e066d5c716a4af64a8c71d8a40cb257447b80bbad0 [Change version to 0.1 David Fox **20100624143943 Ignore-this: 1bec40996be044cc895192f90f5ddd4a ] hash: 0000000630-7b59ed6c6fa9733e2fc9f175452a608b6f01a4752d6a6999ab5f44abc7c0ed66 [Have Logic.Predicate export Logic.Propositional David Fox **20100624144614 Ignore-this: a88f12a8dc59eb626fa4ee6704ec814f ] hash: 0000000389-789dfba334f982c2adfb2259f149caaefc40dafc12b698d70e9a0e74e51cce80 [Remove bogus tests package from debian/control David Fox **20100624144631 Ignore-this: 8fe1ec28bb1d743ae54ccd7270913f16 ] hash: 0000000349-2b11ab757f96e762b6a6c48c806790ba79ec1073c39d61e8991cf84baf88cb76 [Add debian dependencies on proplogic David Fox **20100624150936 Ignore-this: cea156d381d4052aad3319d65422847e ] hash: 0000000267-bcfb6556f31a71b0caf29810d61ad3105e0fc4c5f8cdf723ef43efbc6805ce3a [Add an Ord instance to AtomicFormula David Fox **20100624170850 Ignore-this: b99d0f873be20e1262cb9d2992a591f ] hash: 0000000493-d9ccfe091767b907a55e2ed7334f362e2897781b8182d4847662373602beb61f [Eliminate (presumably) unicode operators from PredicateLogic type class, they make the amd64 haddock program crash David Fox **20100624204649 Ignore-this: 3817dff7f3cbdb51211221fe11bf7575 ] hash: 0000003297-1d1a71830a9399dcaf16f66ad0d97da31e629992f287f15fe2166ccb8e9dbcbc [Formatting and documentation David Fox **20100625194615 Ignore-this: 10c888df743b9988afb7459201bbf213 ] hash: 0000017916-6b45a1d3548b3cf5707557f43421f056dee0b00a706d1f8d43ba205de45ef28a [Version 0.5 - export distributeDisjuncts David Fox **20100625211357 Ignore-this: bfef1757d37d19bbaddd3fe9ca6ea55e ] hash: 0000000427-0a4da1963621943f87c7dd736a98b60c0a375ab726a6e11559a8f75e1e6a630e [Do variable renaming in moveQuantifiersOut David Fox **20100627135424 Ignore-this: fe3437e9ab1a09a09cf5075f74ad70b ] hash: 0000017685-e277226a7ee70387b63140652ae502d7d75ec31a6112132230362e696a6b3839 [Version 0.5.1 David Fox **20100627140150 Ignore-this: 90ad1c8ce8891cae1f43c6fbebc99c3f ] hash: 0000000594-5d43a86e2ee46847842ab2946f553befdf7bf095810b709a935df7db0540a3b9 [Version 0.6 - Factor a Logic class out of the PropositionalLogic and PredicateLogic classes, eliminates a type variable from PredicateLogic David Fox **20100628145121 Ignore-this: 8a67103a0130fbf738cc987336074499 ] hash: 0000032569-39f656fe3bf9ef93ff9252505303c53d0e8b7dd96119e30c5ca1160c739038f8 [Eliminate AtomicWord module - we can just use String in the test types now David Fox **20100628150056 Ignore-this: f3a466a383e6675ae172967a803a299e ] hash: 0000003237-b82be48d9379c71effbc15e9348860247d2b17b57288fd9fa6d5457083c22b2d [Add a Skolem v f class to encapsulate conversion of variables to skolem functions David Fox **20100628180721 Ignore-this: 3da6c1ea6de0c7318ae6934df06bc5a6 ] hash: 0000003920-abea9daa5ca66802de642d2fd486e535f118ff6c4d77a93143babb5b2908e894 [Remove the Show instance for Formula p f so we don't have to have so many Show prereqs David Fox **20100628195938 Ignore-this: c01ee2a4d689377ac09a4cc4a6241260 ] hash: 0000004701-e16f3a540ea400daf1718f2bf3131a8f0912ffd9c50cb02b2936b40e40ce0499 [Fix moveQuantifiersIn David Fox **20100629170416 Ignore-this: f5f47113233f3ea10a2a4972e2afd6bd ] hash: 0000002383-ad2875fe86ce5cf3462edf17ed7e129148d396cf1ca516d381512ff6ddd950da [Fix the PropLogic fold function David Fox **20100629170549 Ignore-this: be2d9940e50804e5abb931546f50efca ] hash: 0000001490-954cb5b068a4015a288b1d2c102bca9aecf40e6bb1882f08ec76741ceff70c8f [Put more parens into the showForm0 function, maybe too many, but that's better than too few David Fox **20100629170620 Ignore-this: aeeb98a04209a1a8cca68c337a4e4d49 ] hash: 0000001657-76edac7a77b8d6b9428788c01f7a25791b3af661c914f56ab4d9456c635053eb [Fix a shadowed variable name David Fox **20100629184532 Ignore-this: 403d43308ebc5158246ece1d16defc56 ] hash: 0000000569-194db933eea6695da0ada987b9b3157aaade2dfd3a99b078957b5b82e018e10d [Fix the test cases David Fox **20100629184704 Ignore-this: 1a5752f0e693844b977158619f83dfcd ] hash: 0000003829-731897373be73967805ed4bdd2244763c92458d81af406e46bd3acb9e32626b3 [Fix a nasty bug in substituteTerm, which is used by skolemize David Fox **20100630134233 Ignore-this: ab34f23079db611961237eb4bbaaba90 ] hash: 0000000737-e34f9f0850808a3fc8b1236065be32e3b8a40f2253589016dd0e839322282a10 [Re-implement skolemize David Fox **20100630153721 Ignore-this: d579bb720f14a5b74f07f3e549e8a36f ] hash: 0000011573-e98a999dd516f0896c2fd708dbef6876376b5b64358d9df96fb6764afdb36f2f [Change the substitute function so it replaces free occurrences of a V with a term. Before it replaced terms with terms. David Fox **20100630174857 Ignore-this: ecdb40627b0d1d0cc2bb5a050e874bff ] hash: 0000029104-4a25bf1c172f52a271fc9eb577d86da39e343b562f57c9513ce8685d62a76027 [Version 0.8 - cnf should not remove the universal quantifiers, add a removeUniversal that does this and a cnfNoQuants that combines it with cnf David Fox **20100701033533 Ignore-this: 75b8889f128c3be0aad93c6d358d41f1 ] hash: 0000084886-ba40790fe0f43726af3339116c3e8396506c8577d6ec3de7ade3b6a03bbc0052 [Use standard names for the operations in the CNF module David Fox **20100701161144 Ignore-this: b133f6c1835f24d16e062bd32820966c ] hash: 0000018331-f15c76781d852612feead95d96525e58f98bc5b6cde96eea754a53f6f31542bc [Version 0.9 - add the Logic.Satisfiable module David Fox **20100702184016 Ignore-this: 8b342e73796eb3aa42b8fdeb4337c821 ] hash: 0000001835-735f966379270f78d0f4560951d61eabab39a140d813ed5d4be8109f7a158240 [Small refactoring in Satisfiable module to pull a clauses function out of theorem and related David Fox **20100705134756 Ignore-this: 2d116067cca67155b45896f6bce042b6 ] hash: 0000001253-24b1ec438ac3c6adbef4a485d8ceb500347de51901865006f2437e3d36d96054 [Check in the current state of the unit tests, these will change after the Chiou instances are added David Fox **20100705134920 Ignore-this: 8e1fd1f2b2f80e0b75429ef369bccee9 ] hash: 0000111309-252feb56b09d1574c2939c240c6b056dafcf1ab7cd0784cae3af1b4cdb718b84 [Add support for the Chiou prover David Fox **20100705172321 Ignore-this: fcdf26a2157b2e80601c04829e30db96 ] hash: 0000007772-80daedc9fadc375e268098270333cd121bd5dfc83f8a71eaa73e9711bb37d88e [Change the Skolem class so it uses a monad to generate new skolem variables David Fox **20100705233605 Ignore-this: 47b858df574b2d3f3f603b1a335db38b ] hash: 0000072193-c121d0629c737606e979377824bfea2c4a05b03d16677fca4d92a8e37ce1596a [Adding a way to compute cnf via Chiou package, work on polymorphism David Fox **20100706021500 Ignore-this: baf63b2164ce0952d183b3a89b336db7 ] hash: 0000198096-50b9479a33851518071346d13bc40e617dccc68f1ad87c73d3c481e350a58134 [Modify the tests so they compare the Chiou CNF code with ours David Fox **20100706191205 Ignore-this: f0daef6209e1abb5eb833e31da4032f3 ] hash: 0000188126-00426a60e0e9888f4a35b53e2b84ba68b5d81fbbd80e33c8f5f3af04232cd449 [Import toCNFSentence, update tests, flatten PropForm output to make comparison easier David Fox **20100706192927 Ignore-this: 94962473d6e4101a4c04e410345af838 ] hash: 0000006115-884c7523aca0f668e7000eb2ebc5090900597ffc576d7a5dc79371251d2b2ba0 [Remove some lines that upset haddock David Fox **20100706193954 Ignore-this: 294018ddddf0673c85dcd29f972318a4 ] hash: 0000000271-9087a67baa59dee8006b4b60cf38d20fac37a645a44d756a757d6664dba82681 [Parameterize the variable type in the Parameterized type and the PredicateLogic class David Fox **20100707005437 Ignore-this: f17637d2c336cc6a75b504f0f65f16cb ] hash: 0000155961-4ece2752e00baf04a76e09265adf585d9fdb47353ec35595de4cab0963528945 [Change the algorthem for choosing fresh variable names: x -> y -> z -> x2 -> x3 ... David Fox **20100707021020 Ignore-this: a21fdf5629fe6d165331344f7ec5b750 ] hash: 0000000553-04cd20f081fb7dd2f4110f1c1dc255f538bfc474090afb3b7c373e43b43257a8 [Hide an unused variable David Fox **20100707024043 Ignore-this: 9cce910aab9b8135e92002be651e3190 ] hash: 0000000279-8518e0a83b454a333ec9b2658cfd49f41eeb3f85ad34c923bc74c35303d7f2e6 [Implement implicativeNormalForm and add a test case David Fox **20100707053839 Ignore-this: e147c1470ded1c43e40dc566f8592770 ] hash: 0000136075-6a37efaba3f6d5fcaef324bd435b5f6434cfd9729810952f1021db2f8aa2adf1 [Version 0.13 David Fox **20100707054018 Ignore-this: e5315682bcfd1d2ec5a81d25815ac8ba ] hash: 0000000382-ed73d19a8d1516aee1c829a737d0c559b748df932f401125e25f00ef7513299a [Update test suite for chiouprover 0.6 David Fox **20100707230747 Ignore-this: a3780e0e9a745bd0e5c92b1db33fa0bf ] hash: 0000299080-6a6e712f769424d1a9deb53e781893dc2554adedd4b56e1fc72b022e18af16c4 [Update dependencies for chiouprover 0.6 David Fox **20100707230814 Ignore-this: 596978c7162baa96dc74d698862cc3c7 ] hash: 0000000599-fb20b0726a1e93e1ad504d17a6fc7391457c82b62a141027a732b7ffa78b77f0 [Test case stuff, add a note that the AtomicSkolemFunction constructor is redundant David Fox **20100708154700 Ignore-this: bd38a64d58369f92b9461c2537db8fc1 ] hash: 0000011407-f4b7dd981fb4457a2ca49e6ebcb489af378fea11359c5a1cd6150768bef276f5 [Use new fromINF functionfrom the chiouprover package David Fox **20100708180839 Ignore-this: 7754e36ea3fa81e24d1bcf63859a7ce4 ] hash: 0000000326-4218ff22d4a0bcb37e8f9ae96ddccd5b400e8bdff037c5f81d76e6d7db524693 [Merge chiouprover package into this one David Fox **20100708200503 Ignore-this: ea63dd3d88682f3b45ed2aebf0870b20 ] hash: 0000094210-4a4ff0ce67ee313d0708c6b69695ceeaec3935a3af2d2d80a8ed9f6cabb4c958 [Add a missing unit test file David Fox **20100708203828 Ignore-this: d3825bb282d54baf5734bda6e8d17683 ] hash: 0000014688-a96dd29334b721874e95b6c893b4a4fad8fb12262bbeff9ec23fb8d5e9570291 [Rename PredicateLogic -> FirstOrderLogic David Fox **20100708230054 Ignore-this: 91bc506f36299697211587a29ff1861a ] hash: 0000022066-f249e926c7cbd226547dc5929ff214c9049d4cab7c21d95d0d38b8a31a6dc6cd [Add a Logic.Prover module with a function to load a knowledgebase David Fox **20100709005611 Ignore-this: 7bfa78f433e4a493ce61b1956e1b3f68 ] hash: 0000006768-61b24758b3679264d17c46819af9861b3529142bc9b40cc83000b4183769a379 [Add a Boolean class and require primitive predicates to be an instance, so we can always generate the "always true" and "never true" predicates David Fox **20100709160607 Ignore-this: 3d3ca65a847ee15573974cc71da903a3 ] hash: 0000009175-9c6b819f2487c17b3a667e86e8d214dd34a55871c0f7b608b46bb12f3d7951f8 [Redo the prover functions so they run in the C.ProverT monad David Fox **20100709192628 Ignore-this: c362ee6e742958dfd6c2ab8dfe24df66 ] hash: 0000001563-6fe78fa7e0d7c52fd0e7f44f3a00fd6b86b4e5615d5d18214d9d279bda1a11dd [Document the tell function David Fox **20100709202101 Ignore-this: 96f11bee1c9b8ced24bb0e8dcc82e663 ] hash: 0000000659-d56d0d4640750ee9c5e9a2c26d6add1f2b59c9b2b54013580b47a103d398465e [Improve docs, add prereqs to FirstOrderLogic class: , Eq p, Boolean p, Eq f, Skolem f David Fox **20100711052239 Ignore-this: 5062ca8eb94a51e0a24cab35e077fbb3 ] hash: 0000004501-86d5b9574a02c285bd3bcb91b03980fe5a7a4ff083caeaa5443e1ed8bccf2ec7 [Move the important super classes from the individual functions to the type classes (version 0.16) David Fox **20100711130151 Ignore-this: 325d407f0284d1826f10d732c76da681 ] hash: 0000010891-9706d121120795f07d795a114f8f9a99ca2bbf07d584620725390a2795dc56e7 [Add classes Implicative and Literal in Logic.Implicative, new fromINF implementation David Fox **20100711160241 Ignore-this: c5c40d3585dcce834f2894f0ecb752ca ] hash: 0000010049-789d022d77d4c06c8127e40ac00326a4c3c54548bc68d27cbd7d06390a4ed9eb [Eliminate the notion of negated literals form the Implicative class, that form doesn't have them David Fox **20100711174535 Ignore-this: d18d1c29f9627ca98bf31bec4fbb75fa ] hash: 0000003815-dcb4a0c680dc761bc85e21469bd5d096c14da85b8766d16ecddb741d23165226 [Rename some symbols in the Chiou prover that conflict with symbols in FirstOrderLogic David Fox **20100711182719 Ignore-this: 5121d5138023865f5162dc520563c8bb ] hash: 0000003630-24b7ea73255772756067ec2698eead8d949f8190252d83fc5a6953d8b3dba010 [Add a toImplicative method to the Implicative class David Fox **20100712122451 Ignore-this: ae2ac997753f2029ea5dd06028eb6a55 ] hash: 0000001401-23f3cb9ca1215b608b93ad972c22ef6bbed71665af08d6cd759c589d38360980 [Rename convertPred -> convertFOF, to match class name change David Fox **20100712122820 Ignore-this: 8dfb43919ac6ae260acd6bfca08abb07 ] hash: 0000003514-7c8d1fa7ad59d9c855be645984368197cc8bc49edf7a58f2a01b5d57eaee28e4 [Add more parameters and functional dependencies to Implicative class David Fox **20100712201523 Ignore-this: 62cfaa8d6a0821d4476d10e86c1e269c ] hash: 0000011152-a8e13cfcc4874c4fb160af01e00e41e2da315302306e61ad66918c8c8ee78ee2 [Update docs in Implicative David Fox **20100723075334 Ignore-this: 752d8b00b7c255f4413206e069ddb992 ] hash: 0000001115-61936df93c4d61fe40ea8855b724378bfbdea4e0f9e8c87d86056a27bc18de10 [Add Logic.Conjunctive David Fox **20100724065316 Ignore-this: 9075b03d421d0d565a580badf2b1974e ] hash: 0000001834-8a7ea80e7e2c828364fbc6bed548b044ad289a09605296f5584b136a1f164857 [simplify fromImplicative function in Implicative.hs David Fox **20100725055517 Ignore-this: 1d902c76732d60c561ec76adc186d48 ] hash: 0000002318-3dc6bdf0ef8e5176609ae9eace542e89533b5374868841e4f738767ae55ac759 [Implement a polymorphic version of moveNotInwards David Fox **20100725060508 Ignore-this: 26fef2a1a3574845ced2252b4a8d4dac ] hash: 0000004998-c59b218569e2b3783975dd5fca6b91d4662cd7addf8d22dd0702985196b6b00b [Polymorphic versions of moveQuantifiersLeft, eliminateImplication, moveNotInwards David Fox **20100725134827 Ignore-this: 3243a0f8c41070f3e3cb69d9b0d73dbc ] hash: 0000002779-e975ff5016979c2f714a9a2242cff93e7e3753f3cbb8b670cbe688a22b88ca6a [Show and Eq related stuff David Fox **20100725165626 Ignore-this: a69b57597f36c744c9bdf1df0e49c6de ] hash: 0000006539-0463ca51219f346d88737af85b95c6b3b3d7bc48bdb445f79754e3dda723d41c [Move some normalization functions from Logic.FirstOrder to Logic.Normalize David Fox **20100725171824 Ignore-this: 6666bc3555b95dc15c17652d8b35da53 ] hash: 0000007000-6ad70aab18f8c8f9989cdf0604f4bdd0072d7da340510a2e0937173c28f4bc8c [Use a more tractable type to compare truth tables, add module name to test case labels David Fox **20100726130710 Ignore-this: 3409ecdbf644274852159aa7ec7a147f ] hash: 0000157486-4894ca83dbda1529586563fbec3049d25b514851bc56c67902c948a20b4c85b9 [Re-order the normalization functions David Fox **20100726131102 Ignore-this: b11f268a2c15d318cf436d02b608fdd8 ] hash: 0000007040-e7276dff5101d21f7e7431d920a784204807f0bb3f0d3b366e68d8f695056f48 [Use moveQuantifiersOut instead of moveQuantifiersLeft, it renames variables properly David Fox **20100726134214 Ignore-this: f44068a32c2756468fad46f07a3039d6 ] hash: 0000031243-12f795969fe2f3c3b1743130b68c809c1fd63c73d00aab408ed127be87381687 [Add a polymorphic skolemize function, eliminate HasSkolem monad class David Fox **20100726141815 Ignore-this: 9dae3d9f7866c871100e8f8459980448 ] hash: 0000015248-e78eab6be1f6daec5d806503302dfa79268c0b39dd6d1ca3f126f23ba73e7a86 [Replace all uses of Chiou normalization functions with fully polymorphic ones David Fox **20100726143552 Ignore-this: f44cf5f4c2cd4adf70af1295c14c0c7c ] hash: 0000003821-561f89b20c41fbcff03c50756fcae328dfe03f9113306cb7052648083ccd5389 [Rename State to ProverState in Logic.Chiou.KnowledgeBase David Fox **20100726145445 Ignore-this: cc401229f2107c11901548432833851e ] hash: 0000003286-88bd89c1666ba495be466b2cd20b42cc1c52c0162019942625b5be7e64fdb916 [Version 0.17 David Fox **20100726150534 Ignore-this: ac95503a7c47283175997d93a9475cef ] hash: 0000000434-7d6735f1ac2f5c4c945eb4a1dc8b51d74ec711a366bfc4a9a2ce7b7bb053bacd [Version 0.18 - remove two synonyms for Formula: Predicate and Proposition David Fox **20100728165004 Ignore-this: 80680b606f3e42a2374bbd2ae7336cf9 ] hash: 0000000658-093c2f010100633bc9bf5d7b2c35a86f4e67e4985fdd50350faf88f44c904079 [Add pretty printing, move Boolean to Logic.Logic, add new test module David Fox **20100810181225 Ignore-this: deec8a71608af6ab635eca87ae875ec5 ] hash: 0000013169-5115b5df0ebce208d31437967e9b1784cfdd628a2ec243c84eec2556a22c1402 [Get rid of Show formula super class, rename clauseNormalForm -> clausalNormalForm (to match another branch of logic-haskell) David Fox **20100810231525 Ignore-this: e01a9142186f598b4ffa86a208dd5aeb ] hash: 0000003646-f5f0392ab2deed0cb37c3ad685760820e200a8c9c99905a3928697746b325a67 [Clean up the exports from Logic.NormalForm David Fox **20100810233126 Ignore-this: bd276b9540bbb409ce503a961b1a0992 ] hash: 0000005256-66e442b5c638f38e2a60264fcc75a5717cbce3a7c749b45f86029382c7203633 [add a version of clausalNormalForm that returns [[formula], add satisfiable to Logic.Satisfiable David Fox **20100810234152 Ignore-this: 504b693196d10fe84a11faa815fd15da ] hash: 0000003606-7e41f1da9db9b74854845f182240b069d2cd9fba2640e4f41a362d83b69d564d [Add Test.New, with six failing tests and some that succeed David Fox **20100810234509 Ignore-this: 6371588b7beac55e760ffb689cc43e19 ] hash: 0000005266-7de5fca8542e3eb338d58d74f491305346efbdd3ba442e63da93a9decb55af42 [Swap the precedence of and and or so a conjunction of disjunctions without parentheses groups correctly. David Fox **20100811023748 Ignore-this: cf652fc84b553e454d44b15b63bd3b93 ] hash: 0000000597-adc7cd9e48da0698486a50d5666b9ec3ebd2bdc0154893560de8fa3d30df386c [Make V an enum so we can use succ to get new variable names, change variable name sequence David Fox **20100811045803 Ignore-this: fc8406b13fb55f351c59e14ed0fce863 ] hash: 0000030835-ccf01cbb7b356787c8538ee4d8d6059f10414e78d446fac287b7116e6cc31c32 [Add the chang example 4.3 tests David Fox **20100811051822 Ignore-this: da7f48029ee4ba12cf0ad3d39939b048 ] hash: 0000024492-3f398bead65b3391f3b5586913a458a21702b5fb6f617f7d76af2bc21f7b0e60 [Moving tests into New/Data, skolemNormalForm retains universal quantifiers, add DisjunctiveNormalForm test case David Fox **20100811133718 Ignore-this: 4c2c941eb30fbfa9cb0531c9353e6047 ] hash: 0000041901-60fe7f07a0f62f8f51f27c1680c63f76714d559331a2621b08a39b1ee9a9907a [Add tests of the Chiou resolution prover to Test.New David Fox **20100811170643 Ignore-this: 5217818eb1003c590fb0e6e630df9d53 ] hash: 0000051073-82f4bef88e3d1703737a7efa562c36ba48e174c3575e8041a095557c122fa4eb [Change the return type of neg and pos from a set to a list. David Fox **20100811184344 Ignore-this: c0e43916342e273b9082da89edf907a2 ] hash: 0000001493-7215973f2acdb6d4249dc9fd532908ffb70efdb2adec47226c7ec33c7aa52115 [Add the makeINF method to Implicative, preparing to fix Implicative's type parameters David Fox **20100811191519 Ignore-this: b9ea8f2df1fa65ab008d5e7cf274dc68 ] hash: 0000001162-f18d1a81c6c2ab388a9317b5e4ae7e3983dd98946ec1438323aa34b20b66e84e [clausalNormalForm returns [[formula]] instead of formula David Fox **20100811201428 Ignore-this: 3aec0f1147e6597af5cd6cb3227a20be ] hash: 0000008544-fe52938e02fafd5a21ef159995d9cc6e81bffb88a088529559acdae144bc376f [Add Logic.Resolution module (incomplete) David Fox **20100811204342 Ignore-this: cdebdfdfbb7e65c29a40a6f953c91f40 ] hash: 0000009990-bf08b92cf5a468e1b7bc8e5dc718543fbe24d69041f7554a5e8f86275c26f727 [Change Implicative parameters to inf clause David Fox **20100811204949 Ignore-this: c4e0c992071bc00272d0098dfe694052 ] hash: 0000025481-7cf81f0cf02375a93d364b3606b046844a0bfcff6d277b189e133ae4c822b3d1 [Replace various implementations of disj and conj with a general one in Logic.FirstOrder. David Fox **20100811205639 Ignore-this: 554c65760558347ee3406d7b43cd682f ] hash: 0000001588-c197cb0d31c440f6cd9f0e52188511bb2360b935bcce2e8983e4aae130cd5bcc [Remove unused Logic.Conjunctive module David Fox **20100811205802 Ignore-this: 4f938eae532d9bd54221a978070d8468 ] hash: 0000001917-07f4bc9761729f0965ba3c6a4fcffac10e70ae0f63140359f78ff1ce4ee83f96 [Do skolemization in a monad (SkolemT) David Fox **20100812131623 Ignore-this: 422132f627687a2e4b3c3a384b463ca4 ] hash: 0000016545-ab37261e7294a702938e41cc5684a0de2a6972ff784f1660f4a2ce3c871dedc8 [Remove Show superclasses from Chiou prover code David Fox **20100812165235 Ignore-this: 4dac04a9936db80f33d8b5ec91047c09 ] hash: 0000001845-0e96bb23e3d4e145d1c897e92e5cc813bdd40bcfe318bb990147ad1933e91a23 [Rename skolemCount -> skolemOffset in ProverT monad David Fox **20100812170544 Ignore-this: 9890352e7fe7c3ada0e303645630e07a ] hash: 0000000891-106cdfa1d77dbb5691fd507c43bac478929ec376e637cfa35c9fccc55dc0d872 [Rename test case SatResult -> SatPropLogic, add test case SatChiou David Fox **20100812170630 Ignore-this: 121dca1da80fd2b7de6e4ff69071785d ] hash: 0000001621-3d16c78dfd70732f44a4f6f4ad90b4dd49a0a1e8d25f8abf6d67dd885d19256b [Clean up and figure out Logic.Chiou.Skolem, add a SkolemSet test to Test.Types David Fox **20100813161635 Ignore-this: 6a4c88c82fc702c8a37a44c5d21406d1 ] hash: 0000014223-abd87efe24cc644adab13ecd777befc481da6596ee555ff45d998801a21890a5 [Eliminate module names, instead of using a Skolem number to identify which INFs come from a sentence, assign a sentence Id David Fox **20100813171633 Ignore-this: 659b0b27a91e98c579503a0bd680ecbd ] hash: 0000006661-0e03cd61640bbac0da05e597d8d19afc3eb6dd9e9d59eb726bbd4d7d2835e54f [Add Data and Typeable instances so we can use gFind et. al. David Fox **20100813175914 Ignore-this: 718f54db83e87b39b171d24a48100e39 ] hash: 0000004345-d1732bd8cc18b330b25b7b901f0e8eaa4589f55fc4f7e8e5729bef94c2004ff8 [Move splitSkolem functionality from Logic.Chiou.Skolem to Logic.NormalForm David Fox **20100813180935 Ignore-this: e242afca73ba7948c092d109d6a120e3 ] hash: 0000003814-2e3165d7aecec4b25e65942b75538d38037a848b61cc80d7f470bc6a93742c9c [Get rid of Logic.Chiou.Skolem, Change SentenceCount type back to Int David Fox **20100813182555 Ignore-this: afaa09a94cb0a6666ccb3379345093a2 ] hash: 0000006194-155b4625e4c9013fc3bafbf60f52d27bea8bdf43d0698908e3a945b1321b5732 [Simplify the parameters of Subst David Fox **20100813210934 Ignore-this: e621fbf941a1ce37372ec6588fc10906 ] hash: 0000004169-cc66509360a1e6905c55ef6594c256759ca17126ec44b7443d0d54c3e509a6a6 [Split a Term class out of the FirstOrderLogic class David Fox **20100813224043 Ignore-this: 2822944e461963636c9cef2443aa058a ] hash: 0000013235-3a0d425bf9865544f2e4cecfceb119276cf19019b5c6e63aa34a9a792eebd475 [Add zip methods to FirstOrderLogic and Term David Fox **20100814144051 Ignore-this: 16f9e3245c0e14d139800fe7f20de8f3 ] hash: 0000001746-cf902f9dab0c8085d5b2ef134d8e2fa564b30ec4c65efe7d5805bff7cdf896e7 [Create a monad ProverT' which is a combination of ProverT and SkolemT David Fox **20100814152857 Ignore-this: e65e6fca66effc6dea25ef0713798ea4 ] hash: 0000005577-e2e31d16a6d0de13e07a7c4716c6baffb15ac3ae3eea7ad1f7e8193b9b901056 [Put in a new skolemize which propertly maintains LogicState, but intentionally broken (as noted) so our test cases still work David Fox **20100814154033 Ignore-this: 2516328e8b0cc15aba97304b72c46332 ] hash: 0000002916-35e3cd3ec7634ce412ad71750151a34226c8c2a024d132a2dea94849f89c0a0f [Fix a bug in animalKB, test case updates, pretty printing David Fox **20100814172530 Ignore-this: 31601b29a29e531fede13df94f2bc85e ] hash: 0000028885-ff41838188dfdb05c689a265a84526c6e210e37a5c6d712b826edc47c234d96a [Make Resolution polymorphic David Fox **20100814214240 Ignore-this: 15db1d395cb15a7c0fa7db4d3b0ef408 ] hash: 0000046429-70f79b6aaaa45fa8bdd1a24b19514d37f6ae571086099fd14639d828da4cab9b [Make the parameters of ProverT and ProverT' more general David Fox **20100814214803 Ignore-this: c44a40c8ef34c2fdfa57730ba7d3fa9b ] hash: 0000004113-fa8455b3bd52b6218f93419ec97fe18d7450f3f0fb7c0c826ca6e618b692a7ad [Get rid of unnecessary superclasses, move them into instances where possible David Fox **20100815013408 Ignore-this: cfc26d525ce3d584e1858d023c562933 ] hash: 0000008554-c839fa4e73924064d66d171167c87ca8f1f58afbcd841f1d11aedc95172f5065 [Restore missing signatures David Fox **20100815030717 Ignore-this: cb3670da60a09acd12abcef10486bef1 ] hash: 0000002289-ca499eebdfca9e918ab200c0b4a4c67b2ebe0be6549448d96ca3e4750e3f68c5 [Rename Clausal to ClauseNormal David Fox **20100815031735 Ignore-this: b733571fc7427bba9698b3956c306661 ] hash: 0000003077-cfdbb06bd3c57aa4b720001d473b4f89d12b926e0ae3c89b4f0407cbfe5a78f1 [Use sets instead of lists in the INF class David Fox **20100815150914 Ignore-this: d9732ccdace1010caa63e159deeb7c32 ] hash: 0000022931-80ff94be725581a2a31e678084e8d120faebacb292e1719a1200b067d17f5db6 [Use a Map instead of an alist for the Subst type David Fox **20100815162802 Ignore-this: fe52316f3b1c4e4aed715f139fd6589b ] hash: 0000022220-4f15e442d51bc96a0680454a6ed774880a9576342623323987e859f1a1d257e1 [Rename Term -> CTerm in Logic.Chiou.FirstOrderLoigc David Fox **20100815164732 Ignore-this: ddf5b8bf80c9d646f80ad894840ad70e ] hash: 0000008054-9f6044182850758f4493fa3c320bc2768aec354f916ba98d564259511c3b074b [Use showForm to implement Chiou Show instance, polymorphic Knowledgebase module David Fox **20100815181255 Ignore-this: 87f26708bc3047b4eb15bf399103f0ee ] hash: 0000042818-4b13b480287ab498ca3cb811064c68e4521bbf4bd1e8fab6bfa605c537770b45 [Rename Logic.Instances.Parameterized -> Logic.Instances.Native David Fox **20100815182415 Ignore-this: cedabd89ae95878f734e4519a4d97761 ] hash: 0000000876-22da1ba11f154765440c7de5f4438aa7ad209bfe2ba84dce931a90d673a074a3 [Use Native instance for tests, make test data more polymorphic, make test output more polymorphic David Fox **20100816001611 Ignore-this: 859403eab80e536db0288ff46994e4f2 ] hash: 0000042580-d5d17341677cf1fb71ff414cf94ed6294629e6ec25dc51f0e5b08e8413fd6ac8 [Merge Logic.Chiou.* modules into Logic.Instances.Chiou David Fox **20100816002815 Ignore-this: 7268443c72aa023ce2879e0a9c06201 ] hash: 0000013459-7fd0bd8a19ebb1a4a0a29e754c48189df2a6d1625dfce15259874ea03ff51664 [Give quantified variables unique names before doing prenex normal form David Fox **20100816164504 Ignore-this: 4b00753fae6b9d9fab808afb4aa9041b ] hash: 0000055832-0ef5eca9b2f50f0547a30fd0f31300718bdc5cd879ec767f82c1771c08e16722 [Rename monad SkolemT to NormalT and merge VariableT into it David Fox **20100816171334 Ignore-this: 6ad3a03187c082a0dbfc3d1c41fadebc ] hash: 0000010625-976ff0e697f63f724d04bb5d58b03fb8e2805193f5da1beda76d8c3fa72e916e [Add and export a prettyTerm function David Fox **20100816202322 Ignore-this: 9af82af2cfc8b18b91f9095ffad46332 ] hash: 0000000438-ca835b2f3109de22ee193552fdf498777a19947740f408b588eef73228a16fc9 [Update the TPTP instance David Fox **20100816202359 Ignore-this: 669f20792bd129feed76ed2bc45644de ] hash: 0000000483-f9a96e904e05cf902b6a6471a23d6296268e5ce1280f45241fc0f3da21182787 [Update test cases David Fox **20100816202647 Ignore-this: 58d97046a2afae21f9acb695a8de4d7 ] hash: 0000018770-5e6e70c47b12560c3f65caeb39dffa68a0ada841e062253b54be916f28092cf9 [Fix a place where we used .|. instead of .&. to implement conj David Fox **20100817152012 Ignore-this: b2cc89caa30715065aaf6d59adf426e6 ] hash: 0000000247-0e17fc22bb7b5dc21fad7c8ebe6c9a16909809ccb95b4b440e36144a417d410b [Emergency check-in David Fox **20100817212745 Ignore-this: db7b0c5369c38793157b54117615800c ] hash: 0000109950-ee1059c0637911fa0a89a188020957eba4648b4800e8e33626c3ee8130f5c36d [Add Test.TPTP David Fox **20100817215837 Ignore-this: 6ea7966320f92cce6be70e87445eb6df ] hash: 0000000825-5821052c045ad8d64798e1dd1c47a3bfbe0b914a42981ddd230c862c49d80b91 [Version 0.19 David Fox **20100817215553 Ignore-this: 9a95c1cd53d906e18379709dfa90465c ] hash: 0000000444-ecf097cba63822b7727d23a76a73230779e64b7c9d5ca6e72bcea5a5a3bfa4d9 [Use a single variable instead of a variable list in foldF, quant, for_all, and exists, it simplifies the code David Fox **20100819123200 Ignore-this: 2f0ed395fad99db028ea5d6cff54df58 ] hash: 0000044838-7dced5e43e09afe19ba50f4c84b01ef7caa49ecfd60814864e73618aca5e832f [Add Logic.Harrison, clean up some show issues, add multi-variable versions of the quantifier functions David Fox **20100819174103 Ignore-this: c0e488a0b3c60c10f44c9fce86dd917a ] hash: 0000017057-b2ffd19b114ec8bd20d71279f191497034ff06aa3ef52da85a6781f8fc62bae0 [Use the NormalT monad to generate skolem variables in Logic.Harrison, fix some bugs David Fox **20100819203308 Ignore-this: 6c319e612b607b14a3f5402425c12d32 ] hash: 0000008169-73cd03f1bbd96b4da4072e27466cefed47ab1235429b4783513c3590fa9b9e93 [Finish Harrison implementation of nnf, pnf, skolemize, cnf David Fox **20100821131921 Ignore-this: aa1084b90821ec401beda860863d7036 ] hash: 0000011784-3a77bc5a9e0775eb73010081837fe73575c5ddccba075605fd25f0c950caa172 [Rename negate -> invert, negated -> inverted to avoid conflict in Prelude David Fox **20100821133055 Ignore-this: fcfd062f5d1d3fd1c42bf3c7d5194209 ] hash: 0000001822-35a88e0318f4d8518858cd18fdb7a7c41985ea1ab273b1a663d9ce7b8bb58add [Add makeINF', which is like makeINF but takes list arguments instead of sets David Fox **20100821133210 Ignore-this: 534395b34223934c60bed10b176332f3 ] hash: 0000000699-7bf7a2bb8725a90456b5beeb5cac0327ff06f47a09cb6a75d0e20cf15648e9df [Replace routines in Logic.NormalForm with those in Logic.Harrison David Fox **20100821133543 Ignore-this: c7768b772d756e110664900331874640 ] hash: 0000004700-84678dfe7249ab0fcd6bd1072716dd2808a8eab895d7178f31a6e3281fe046ef [Update some superclasses and function names in Logic.Satisfiable David Fox **20100821133914 Ignore-this: 174b7aba618e78415259732219c14219 ] hash: 0000001661-589f2f217b81cc5d2a5d4acc59a0fcb9276bf00d52829d412ef5f6751e9cd3f8 [Add Logic.Set, a slightly augmented Data.Set module David Fox **20100821134012 Ignore-this: 23f4d9c2342bb3a10784d1ac9e57e9f8 ] hash: 0000000957-c9e6f633794259753f7316fc660f6dd8a433ea42367b23a1fb3673b5af3f5463 [Changelog entry for 0.19 David Fox **20100821134059 Ignore-this: 49989bf4ac092cd17b326f817721b0a0 ] hash: 0000000214-651324d1f9c6343a8c1fb841ef30b6b16552aadf56600cc22752e1831ec613c7 [Update test cases David Fox **20100821164507 Ignore-this: a5cd4d679d2140c71194a21588bc64a1 ] hash: 0000088568-703e6495cf317da5000bed74d261fee636a2a7090117c05e1530597ec37025c5 [Move Harrison code into NormalForm David Fox **20100821173146 Ignore-this: af3abd1966e57b25e5bb651d5df3ec35 ] hash: 0000028374-16483ee4027bda7e19eb2e9cd689721d47bd4823ca83c2cb80b1f50635f7827b [Remove a comment that bothers haddock David Fox **20100821173314 Ignore-this: e7ccc26b8664bcefab9aa9d845ab88d4 ] hash: 0000000257-17aa81f3999c164329be0fc34f1b5d102ebca1906ade1f6e824bdc23dd07b058 [Update test cases David Fox **20100821173338 Ignore-this: c4116b3c3a8ae847647b1b3ac9f28c4e ] hash: 0000009413-5541ca448b0452e38d0e5d837f1d2daa2bb0d69bcf3e2482aa5940b62a476f30 [Add new modules to export list David Fox **20100821211215 Ignore-this: 1349c53926193471c63ebf162206da17 ] hash: 0000000428-dcbfbfd50101145d6ef9ebb85a1828d75b91e9898a3be8d3b9386adcc29c00fb [We don't need a monad to compute prenex normal form David Fox **20100822130502 Ignore-this: 70a52db6e7a009c5f270481bac188487 ] hash: 0000005352-e699ab47af37e0eed14118b1cb877a9ca2a3fe553b9e7cf77c32b8952384e3fd [The Harrison functions have all moved into Logic.NormalForm David Fox **20100822130656 Ignore-this: 7fbc8db768890e026b74150814d2978d ] hash: 0000015226-4020cdc61e21c6255f67e1a080f8d247733171617b613d39e3124623c0700af9 [Merge Test.New into Test.Types, get rid of some tests that don't make sense David Fox **20100822145433 Ignore-this: 6ec317089f61455a0021f678f552a41e ] hash: 0000024510-3adde81d9f850af07cb773480a997701d4d0b744558278205d41f44d2d489d4f [Fix a bug in showForm - lhs was not being parenthesized, rhs was David Fox **20100822191440 Ignore-this: 8830fcd0e02228ee8df6bfd4ade37b9d ] hash: 0000000378-d48d55a7b23a7d3efdca4ee09e9dc074a8cbb6d6fbea8f67d8d77335523ca56b [Eliminate one of the arguments of foldf, infix predicates are now handled by the same function as prefix David Fox **20100823025044 Ignore-this: 57bf4e438169460cd4341bf34f47bce5 ] hash: 0000020925-e02b74b852f4fcfa287a400977c6297ce7a99b20b95f2057597b94a5b21d4549 [Eliminate the negation argument from foldF and zipF, create a Combine type to describe all formula combinators David Fox **20100823231812 Ignore-this: d850d6934ec8aa923f2063e4c39473e4 ] hash: 0000025386-0cfea7ae153e2900274c856bfe04e8850f88589135854630b142ed7419bcf01f [Version 0.20 - reduce number of arguments to foldF to three David Fox **20100824215016 Ignore-this: 940f690f7b3a7f912f4cc478a508e3c3 ] hash: 0000033396-3ca070ef43ce21dd176b5cad5179f2fdc3d6a9b4a9cb63ad2498764d9619d523 [Add some functions to Logic.Set - mapM, ssMapM, toSS, fromSS David Fox **20100827171533 Ignore-this: 5a9e50b3719e7c386c7c43efda492f61 ] hash: 0000000913-7cb070930b4c8ef779d4831aea15421509656ce26fbdb1e8ed93782933d6f366 [Add SatSolver instance David Fox **20100827174035 Ignore-this: 741e1bf0f660161408d99477685f561 ] hash: 0000008784-ab2c26737414fbb29b2d1278036b5586142242265ef2072d4f90b6a1f2421684 [Add some translations of the Harrison OCaml files David Fox **20100827202256 Ignore-this: c554c741ee5226bb99eafe5dcd9595ee ] hash: 0000112071-72c154118b96aa62a6b527f596db552c0d6d66a21122ffb065214cd6fb6f5a0a [Move the Harrison code back out of Logic.NormalForm David Fox **20100827210235 Ignore-this: f614e0dd108161f5c3341660907b0beb ] hash: 0000061091-c86f2fc3ecf59b7e0234dd87ab71068372c6ac0efa01a965eb94e99e3d02993a [Fix the superclasses of some Term operations, Remove an unnecessary use of term equality David Fox **20100828170307 Ignore-this: 96d65a3b569acfa9d1bc7c14552eb58a ] hash: 0000006847-e9731ba5492b1de1dd6a38e810b6cc97d9f53f55d8b7f857bc858fa6a04a2307 [Document the super classes of Term and FirstOrderLogic David Fox **20100828190814 Ignore-this: 1a2292936b92f8309baa241875551417 ] hash: 0000002073-8229629e23ff2535c04e133aee1551f05001c5bf2b1612b5e71d535dcaf946f1 [Get rid of some the Show superclasses David Fox **20100828194009 Ignore-this: d5b27f2945003b5acf8c7aa2a6825338 ] hash: 0000004018-2c154ac8c1a4091b4441cd3568328629a453733b3bbb4c6c46b0fe16de6e86c5 [Eliminate more superclasses from the FirstOrderLogic class David Fox **20100828195727 Ignore-this: 70f47d518c97c3c08b1d902b30d2da0 ] hash: 0000003869-0afe2e6e22b9fc4e4b8e1faa3cd7ce2308c9adde2801d8c5eb7673d0f9dff38f [Add Logic.Normal, change some FirstOrderLogic superclasses to Term David Fox **20100828201044 Ignore-this: 9ff58b5f7512c1f8a9e54a50200fc14f ] hash: 0000003559-ea0ae3b90348faf8db15314d1c5b79317dc47f1e0597cc221c38f3bf4ff78cfe [Make Literal a superclass of Logic, rename its methods invert -> (.~.), inverted -> negated David Fox **20100829144902 Ignore-this: 19cf2d1a4e21f6a1e5c1f6f288f08a2c ] hash: 0000010517-595be7fb668ed73f495b3de03c714661c8308f7f40951b93e3fc03f4a59af17f [Make simpcnf convert from FirstOrderLogic to NormalLogic David Fox **20100829164255 Ignore-this: a658d84d4689fd4c2a55867d53f35c90 ] hash: 0000033050-066e3b838f126daf80e4a8133c63b62042a41a4de9479ec6bd056d0b257901a3 [Eliminate a left over .~. method from the NormalLogic class, its in Literal now David Fox **20100829171235 Ignore-this: 5275ddda802d5ec60d665c7940ce0039 ] hash: 0000000393-4a00afc9a76d33ddddbc63832aa907625a9c8da9e2051c40e1ba1df29dca4ed5 [Add some Ord instances so we can put Implicative formulas in sets David Fox **20100829171715 Ignore-this: e5660cf771f962231b3f578cb7c2f2b4 ] hash: 0000001605-03eec6a49950f04c98261532690045b5b6103fb31c2ab92d6a9f5cc22198c638 [Use sets instead of lists for SetOfSupport type in Logic.Resolution David Fox **20100829173246 Ignore-this: 57b0bffcf5b2176b6bf09524a7ceb785 ] hash: 0000016757-e976c2d63ccbaec826dbf42e07c0f5f7603be65149bf0bf10dcd1e64fd5113d8 [Remove some unnecessary functional dependencies David Fox **20100829173907 Ignore-this: 2fa42c52cc2ef7e85a66e146d11985f9 ] hash: 0000000622-7e4a56d0e56d1a5b2bcc3ae52c2ce1259cd84e8b811e49788af3959e72d94220 [Logic 0.21 David Fox **20100829223241 Ignore-this: c4459bb43c8d971290972582d7859f3b ] hash: 0000057022-9e20ce601e016567e3d7aeefc0a9f5ac8e372651a84b8d106b42b902328ab5ed [Add debian dependencies on sat-solver packges David Fox **20100830000342 Ignore-this: c5139afd51de41c8679f69684aaca3cf ] hash: 0000000302-c67000e30804c258e8005f627cfc961490af4c3fa046012006591c3a1a625183 [Fix the conversion from FirstOrderFormula to Literal where zipN was throwing an error instead of returning Nothing, remove two tabs David Fox **20100830224038 Ignore-this: 5ae697f3cffd61fef884d87e3c5430d5 ] hash: 0000002105-d52091e224a43a917e5cc5f1b6049247801eb470f2fe4e41aa6e9c1d1ab824e8 [Version 0.21.2 - add cartesianProduct, implement purednf and give purecnf in terms of purednf David Fox **20100830225656 Ignore-this: 97ff719b00be176d3b81a8f2ff02fc38 ] hash: 0000002201-397f632ffb76dde3976703ca1581498a3636f69be14c6e442de688439a3c9e99 [Fix some name space issues David Fox **20100830230719 Ignore-this: e27f6d2e82916c6f8d54852b9957a703 ] hash: 0000000461-afb28ca4c601d6478b1eb5927aa164713d3837894dfb9d138b8ef4c4cd0943ec [Use a Variable class instead of Enum for generating new variable names David Fox **20100903195440 Ignore-this: 46b0d8c3acb507361a26f63870f53ddd ] hash: 0000006020-ee1e6092a76d394eecfb5bf9f16d76ff91e95ce236d6b4dca0155c8998a6697c [Add an Arity class and make it a superclass for all predicates David Fox **20100903200345 Ignore-this: 8b5d011e744adf918615802718dfe935 ] hash: 0000003095-eeab34ec7befc113eee81779dd3db36fc46a0541fdd88c7743d276add3edc810 [Development in Harrison modules David Fox **20100903201052 Ignore-this: 150a9f8397730aa4fc1bae92bbcd211a ] hash: 0000004652-7262abfc7768108bc7e53c4995e1d95a2b9ccd6d3e4960701a47123cb0d0767d [Add withUnivQuants David Fox **20100903201106 Ignore-this: 7e2df8340ee102f1fba324a6718d7a20 ] hash: 0000001083-d4608f56cddd803836fab55283bc1c7a7ecccaffa2f56409dfba77c75c6d0d84 [Replace the pApp method of the FirstOrderFormula with fixed arity versions: pApp0, pApp1, etc David Fox **20100904171246 Ignore-this: d2eabc3d0eec4df60f7d797e388b989e ] hash: 0000006035-06f99045a134e5dd004d0349619cd4cee276e9595e3165f8cc0a14e219c7e847 [Require Pretty instances for all atomic types so we can always pretty print formulas David Fox **20100904171418 Ignore-this: ddad8d7d9277b8a0569f22b67cc65fa8 ] hash: 0000004541-38cab674f5002e42ca7cd71f23c7f723b99c2cd5f5792e9ee4575f07f9160522 [Version 0.22 David Fox **20100904172546 Ignore-this: 5db10a311357c88347eaf6f687c5744d ] hash: 0000000851-59719ef6418112683463793e615e95a5a43d6d89366d19305a694d54443e6fef [Version 0.23 - add a "one" method to class Variable David Fox **20101006193056 Ignore-this: b2afa1f5dcf8e309d3e20b9b026c35f7 ] hash: 0000001462-e899816f15906286bb9138396c7446599811900a62bdb6080421fa8445047c45 [0.24 - add a missing paren in the show function David Fox **20101021041746 Ignore-this: b5a51114bde9c0c5c4edd0c0efea65a0 ] hash: 0000000706-52ad1c7844205562cb677c98b9030a442717a7444fb975fee6fb0d1ddca63e90 [Version 0.25 - disable Logic-TPTP instance David Fox **20101030173607 Ignore-this: 28306e6c8cae5876802430b02f524553 ] hash: 0000000671-86c875b1e0611742f1060409777325aa1be02184a74d3e9811ac29729ad41f32 [Remove debian dependencies on tptp also David Fox **20101102195311 Ignore-this: 89e6ea0846f4dbcf38a95e5d5505e5a6 ] hash: 0000000272-912d2af1ce869eaac92fb7911ca4f49eceecda512870402ffb99f141dc2e5585 [Changes to compile with ghc 7, hopefully backwards compatible David Fox **20101116174245 Ignore-this: cd05ab49c4179949360317d0d5659fac ] hash: 0000005714-e187d14025c652c7c206b537270f28458ed53c6f01046d26e1790bbf0a006215 [Temporarily disable the tests that don't compile under ghc7 David Fox **20101116213313 Ignore-this: 4e893486da4be4656e2628ce54b9366a ] hash: 0000000646-bf7565bff07c18ea4203061a65bd63829a60c40c4d34906a3d9c2ef285904431 [Disable all the unit tests David Fox **20101117195743 Ignore-this: ecab11b3a354b47c02f25fdd9bf43048 ] hash: 0000000705-bc2f97fecf750e547fde93997c35c976d6b4cf63a71e068ca66d2cbe6aad9282 [Fix text library doc package name David Fox **20101217040220 Ignore-this: 543be18f11dd8b51662b231ec6aa8379 ] hash: 0000000232-291a5352524311b4faa98515f4eef20a658a1229427e9adbf06745f22b466cb5 [Changes for GHC 7.0.2, due to tweaks in the type checker David Fox **20110304140625 Ignore-this: de56d30ed5a724ad896deeda8679926d ] hash: 0000000768-fa00aebd653c8d8e9af83648f033849ddce6ad8887bd1644663e3f63c8afd0c6 [Version 0.26 - add JSON instances David Fox **20110404132625 Ignore-this: 80633476cecde72d3e0c060c7a3e4a39 ] hash: 0000007137-c783107e3fcab1d48a88b1f9b2b582ea06f99a6f4d08997b0f612aa7ca361092 [Logic JSON instances moved back to seereason David Fox **20110414035357 Ignore-this: ede061d33ee747ea5c9c61b0e56a6dd0 ] hash: 0000007168-abe0c748e462a82bcb85421eb2869e2aae4721dca17f9a185daf3a25535cafc1 [Version 0.28 - Change order of constructors in Formula so defaultValue gives us a simpler value David Fox **20110503010449 Ignore-this: 83ef448d85bf7186c8dccd72e5812bc7 ] hash: 0000000744-3029f45cbe06cd1828412aa6a09dd9c0ad30bee01b91d80310a39cea6a818708 [Changes for new ghc 7 package David Fox **20110419233848 Ignore-this: e048ea99d8913872efb9a12bfd74841a ] hash: 0000002036-5ac8ce4994d185be646f5cf724d3fb8a8862ff7100804de59df0946061482902 [0.29 - ported to safecopy Jeremy Shaw **20110617163852 Ignore-this: 3564f46078001bcde072262cd919ffa4 ] hash: 0000002275-bbaaad47f5ebb222c0e035e22b8fe6c52eb4ec7a11023dbea98f09b82aeb56f2 [Restore unit tests, update some of the results even though I haven't checked whether they are correct, to help track changes David Fox **20110705162150 Ignore-this: c21d25cb0cdee1b57a471bfd8603f982 ] hash: 0000007937-fc61cb58b81ec37f3e110fc581dcdd0004afb886eda767d7aa41838d21681d6a [Change ImplicativeNormalForm parameter from "v p f" to just "formula" David Fox **20110705163235 Ignore-this: 6e98ea6e0e53c6f34786c8ac8a8c6760 ] hash: 0000006410-97319b9b06cae8ab8fc5f7293e8cfaed715da226a6d07618ed7eb4bc42df0e9d [Eliminate ImplicativeNormalFormula class to simplify conversions between formula types David Fox **20110705172634 Ignore-this: cff996ff9f3db7209aaec8feb8c3a3f2 ] hash: 0000020856-171988ead7eb72caaaf368ab08b0a9ba60c0cb5ec5772ece035857d2a6b9dc26 [Remove unnecessary function dependency from Literal David Fox **20110705180002 Ignore-this: 37ecef7a3961e5f831d0d122546690e9 ] hash: 0000000356-8c2a80e090a24b59bf5956612eb4ba5ea6c7de51c78ee00417ddc13f2ef69bb6 [Modify the fromFirstOrder function so the return type's parameters can be different from the argument type David Fox **20110705180230 Ignore-this: 4c371b09c672ce68a802d966f1e23c6d ] hash: 0000001903-162917eacc4f7f92baa22e261c499ad837ccdd4170c67384e422639014ef3007 [Make similar modifications to the normal form functions to allow return type to differ from argument David Fox **20110705180751 Ignore-this: b25127ec80613336bf043c31b99249c0 ] hash: 0000002478-2408ae3ce4a9019056a76219e9d420da0d059ff9a8968eed2a08ad7030e0e45c [Remove some wackiness from the functional dependencies of FirstOrderFormula David Fox **20110705181557 Ignore-this: 2b7b09c6e148fd99fa63f277cc8924cf ] hash: 0000001227-174f99a19ad5a1cf50b8a4bb0d34141222ca229d1b0378c14d4fa9f66e7890f7 [Version 0.30 David Fox **20110705184140 Ignore-this: d8019824cda82114c1871a78fdf8ec83 ] hash: 0000000621-b264f89671d434f140dda9fa453a42e0cfd58e3a0b219dde67e624c52158781e [Eliminate the Literal instance based only on an existing FirstOrderFormula instance, instead supply a Literal instance for the native formula David Fox **20110705201322 Ignore-this: 54cf639a9b25bd84e3d0ba2333ccc081 ] hash: 0000014748-d042f2a58878375da3c5513b092d9ff8d52e85125bae1e8a4f7bc0b08b784679 [Remove Ord from FirstOrderFormula superclasses David Fox **20110705204026 Ignore-this: e2e53fd490d0830069714c3a93c41454 ] hash: 0000002209-fab9e1167e0547275408f709dd8cb0015c43dc108c7d1b9d5811e56bd80d1a2d [Add Logic.Instances.Public David Fox **20110705220333 Ignore-this: c9a8df51577aa3507b05a5c645de0fd6 ] hash: 0000005393-8e946a511141d7cbebc5cc6fe1e57ef776aecbb206b81d654a98929ebc7fa826 [Eliminate unnecessary FirstOrderFormula superclasses David Fox **20110705221837 Ignore-this: 42f9c0abc1d8561307fcc7e9f5447a15 ] hash: 0000004070-c5ef6992c51af055f78425b362c5dfc924032b079cc650e9e6326fa7e2169dec [Allow separate formula and literal types in Logic.KnowledgeBase David Fox **20110705222934 Ignore-this: dbf039db8f22ce5258c058dbdf5196a0 ] hash: 0000005835-f222a269b00053c78ea9ee55b4fb5571300f907ea51581511f2ad79e9e557eb6 [Export the Bijection class, remove an obsolete comment David Fox **20110706194344 Ignore-this: 178247ca8303db2656d89b45a62dd048 ] hash: 0000000316-8fcb4b6610c23557ed2726add734c94a2ad269c85706a2da134171b3b974536e [Fix incorrect Logic and FirstOrderFormula instances for the public formula type David Fox **20110706194403 Ignore-this: 5216a37dd4c516052032d9a77499473 ] hash: 0000000700-eccfaca8eb8274f9b584fadad33261cca5519078a8e1cd95450367adeae87925 [Version 0.31 David Fox **20110706194655 Ignore-this: 94ea78a2cca84945b2e5c7554e7cf3ec ] hash: 0000000641-b9159b47bd4a2b383398b7837870ea914a7663e2329714cc9a93793d4e6bf390 [Remove incorrect arguments from a getKB call David Fox **20110706203154 Ignore-this: c7f520d2671048512d31d22ebc92cad9 ] hash: 0000000312-36abcf5e944e0b6bf95a3f290b0b9d1334c4fb431fc36cc6e7b68f4f20871f0c [Create a Pred class to describe predicates, split Show and Pretty printing into a module David Fox **20110716222803 Ignore-this: 5b9c1e9d077b99340a33142fb4d4fa1 ] hash: 0000027421-e4a14c7e0abde417ccd9c5aac9e52899ebe80420e815549790a09af6374cb71b [Move the modules into the Data heirarchy, add a Data.Logic module which re-exports public things. David Fox **20110717145706 Ignore-this: 817903ac0f5ef74dcb804a069905c6f0 ] hash: 0000024728-1d5e86a2c80a88582536f97d1eabb3a11914cb537406498fd8cd1012f627a6a5 [In Data.Logic.Resolution, never do equality substitutions if the lhs and rhs of the equality are equal David Fox **20110722052201 Ignore-this: 1e17566570f0cc91f116646048f3bc70 ] hash: 0000003637-65e5e2fb19f8b94c7b27254b4b3d1db0c4a070f2b75e2421039ff114a628b464 [Version 0.34 David Fox **20110722053036 Ignore-this: ee76350453835e4563edf0169bfbab6b ] hash: 0000000555-8f4925b9cd4fa17d14f4c418ae82dd120006cccb092cfc2e6a26e81aee054237 [Get rid of the Pretty class, instead pass functions to convert the v p f types to Doc David Fox **20110722165723 Ignore-this: 7e9d40fc0386504a900f620a70e0855f ] hash: 0000008417-b4c6003f5db259c1b1378e59e7ee9b67b2443bb37462976c18e14c72765141e8 [Move module Test.Types to Data.Logic.Test David Fox **20110724175146 Ignore-this: 69582d76586c3821b41eeb2385c58a6c ] hash: 0000001822-ded83a07f4bbb7614b10e85086b021e35c5b773d93934e2bf2798619e883e4c4 [Add an Ord instance to ProofResult so we can insert proofs into sets David Fox **20110801164859 Ignore-this: 39e58d02a63e817c8db65e980029897e ] hash: 0000000289-84a24490596561fd48beb29693e762bd9e0da5d0c97fef4529c36c38c23eee0f [Version 0.37 David Fox **20110801165213 Ignore-this: fa301d014516f8123e1ad3f7f38fc673 ] hash: 0000000396-ea51ef6a797870629ef54f0e30f1536fd96907cecfdf12ece804dbdf26537d47 [Remove the triple of function parameters for converting formulas to literals from most functions David Fox **20110802143732 Ignore-this: 6eb1e36d0789f354b1590c4bbb7a6ebf ] hash: 0000014386-3527905c25e75fe4a889d853e1b1d1578b93a4b9df872076992ccb173d1782b6 [Update description and author David Fox **20110802171441 Ignore-this: f442304c702e97ededac24c358f71d17 ] hash: 0000002578-adfae2d6ca3350a471797dbf14af788f4504ea58ee10b069765318894e75fd09 [Remove a disabled superclass David Fox **20110804124007 Ignore-this: 6f17535f1894befc55b73effcbc3f058 ] hash: 0000000518-565490d4951bb9ba24e6aa8726906c19e1cd00323e40c5f89c4297c72497a049 [Version 0.39 - move Proof type from ontology to logic package David Fox **20110804141337 Ignore-this: cb47dbe057e5d28f26afd27f56625dd8 ] hash: 0000000618-c37037c1ad875ac31e4de4f0550b9316e6537e04618e75d0ba37284529382a80 [Make Proof a real type instead of a tuple David Fox **20110804175152 Ignore-this: 9169cdf7c24a0fe1cca8d1f88f485895 ] hash: 0000001007-46ba6cf2f1a911b983919502abec6ab45672113eab101c65fdba83b2caae77c5 [Fix the test cases that broke when the Proof type changed David Fox **20110804193555 Ignore-this: bd1502354f0136100552e3afe81318b9 ] hash: 0000005333-d2e854d4ddf8593d7bd5b48daf585f90602d5862594ada7d81203fa9b87daf77 [Version 0.40 - remove NoProof constructor from Proof type David Fox **20110806132917 Ignore-this: c02b8d13ba695238dd060cfc5a1b6d1a ] hash: 0000000816-b43a25f3e9b22b620c1cfe5659fabf636b57f941dd9f69a0b14527c864d87a28 [Add prettyProof and prettyINF to Data.Logic.Pretty. David Fox **20110806155155 Ignore-this: af9a5c12ed41b80d71292a055b8b6e0b ] hash: 0000001097-ea83cee710dac1392b45d4a19d55c37bacd78166adb2d6011f5c25239a7236ff [Fix a name shadowing error David Fox **20110806162512 Ignore-this: 4fdd556e706c78f38737422e03c1734a ] hash: 0000000784-d2df2cb4fd06189756a8fe44a784ef33df34f31bf97de2e616964a7362c4f84c [Version 0.41 - add field accessors to Proof type David Fox **20110808160321 Ignore-this: af64ed27ff5149919ac4844b0248f878 ] hash: 0000003500-0112e674ccc5baa799ec2b62be46f7f9d2a306702f79fcd3fe74ef9824119edb [Move some set functions into a new package haskell-set-extra David Fox **20110824173548 Ignore-this: 4ec3f6828ba118e30fb709cb82c1024f ] hash: 0000003296-10d6bb7cec73900bb45faf46f45f911848bae3e2988ea68d12b8cb051619a9d0 [Add FlexibleInstances for ghc 7.2.1 David Fox **20110905032519 Ignore-this: f649584893346d0311bbe3a54d152237 ] hash: 0000000439-bfa0c327a20e927eeb99c85effe0c3240b717e51349773f4183807ec5555663b [Remove unnecessary import of Data.Logic.Logic David Fox **20110905033100 Ignore-this: 9ab18e7deaf47e03ff4c3e2a703d0bf0 ] hash: 0000000226-c308596c189be356a3f16c12a06f0fdd7dcaee760e245b9f1f4d18cc4166b76b [Version 1.42 - use a derived Show instance for ImplicativeNormalForm David Fox **20110923235716 Ignore-this: 977d8b28eb18a1e459159d0562fdd31b ] hash: 0000003396-55dd8c0ae86a8abec9b54f81a77a4cc7e5b6ebf517814cc8eaf04ab8e10a13c0 [Remove uglyness from Setup.hs David Fox **20110924223911 Ignore-this: 6a6aa01e7c8867ac77f1f82d417014e9 ] hash: 0000000925-0f8b2dae2b3ed906de725307dd2e1684b828ca563e3b2c41e724e95d94114c55 [Version 0.43 - Move Propositional modules into Data.Logic.Propositional David Fox **20110929130319 Ignore-this: 477ddb26fa6d3fac6005f2a6130aff52 ] hash: 0000008522-cb89ca6cf81944db0c828072b4bf57e6e5c72ab99464e528f4c97495c448af67 [Add a Boolean instance to PropForm David Fox **20110929133649 Ignore-this: 29433a24d8b449d4f6afb96845f35fa3 ] hash: 0000003894-54525db8f06ce508782fb0697ce3612c93562f2ffccae3e3a0b7c8f3fb7ce826 [Add clauseNormalForm and disjunctiveNormalForm functions for the PropositionalFormula class David Fox **20110929160837 Ignore-this: afe0352d3e45087372b66b32fc302002 ] hash: 0000004183-e292ad83014a5f38e0e1cd778348c0b6b1f9f76e8a99db48c87fa0e92816a2de [Add versions of disjunctiveNormalForm and clauseNormalForm that return a formula instead of Set (Set lit) David Fox **20110929183254 Ignore-this: f8be4da43c5a8e2bd3ef255d76d88133 ] hash: 0000005143-a684d7e8136bb93256a252ac4171b71efa29f5c7dd19b3a63368883a1a34c970 [Add back two PropLogic instance functions that use FirstOrderFormula David Fox **20110930035604 Ignore-this: df286c2185108bf32b0c66fc17bc333d ] hash: 0000001396-fc92139db114434df098f6eabb83f2e25b7a1dcf04c368317f28d6079d5a48d0 [Add alternative implementation of clauseNormalForm David Fox **20110930042331 Ignore-this: 6672c9abff4f018f17f781254b7eea02 ] hash: 0000001798-bdae0a301d604d0a5cd0113e0e813199911ccbe5afa562c30304d57e65234a0f [Re-organization David Fox **20111011204422 Ignore-this: 483d33e5bb87d1d8c9908f729f3227ca ] hash: 0000221920-8ef374aee480a87b41c6fdf89cfec3e4279b11b95e5820408c2852c9c33b2572 [Version 0.45 - fix a loop in a seereason test case David Fox **20111014174048 Ignore-this: 1cb17dbe041a056c4d30678833cd421 ] hash: 0000001270-e623b142d8a27d2b9daa1c6113ddd75e66ae66a9ef5b4c802e2a0501929aa259 [Limit the recursion depth of the resolution prover to 100. Not sure how much this will weaken it. David Fox **20111129230557 Ignore-this: 54ffde5675e461425efc6a874388d5ea ] hash: 0000001240-892e369509f94ac1d229b9bc3cbe1efbe66fd6202a455c3f33389a5b90e3c57e [Fix new prove function David Fox **20111129231332 Ignore-this: f9772c1d8e6bd71086743ab64bf0c6e8 ] hash: 0000000427-0da4c22990852d76f673858c0f4010346d20724ef8af0f599121f651ab416889 [Specify the mtl package when importing Control.Monad.* David Fox **20111130002659 Ignore-this: ea96ead52430c7d2c7714b50997fa393 ] hash: 0000001721-10fb5dfa7b6b3f3679bb3b1d17d9dc637b774f8116154d872bad926db4fb197d [Add Show term to the context of the theorem proving functions - it helps when debugging David Fox **20111130002745 Ignore-this: a58047e7f5cdc91e0bdebcb17b5fc022 ] hash: 0000001669-cbb4c382518501d01819e47c9addfa3fd37c79a795f0757b2c833e3367f4cd26 [Export Bijection, not sure if we use it but we can't use it if its not exported David Fox **20111130002901 Ignore-this: bc04f7ab074f068d51a4472087ac6f43 ] hash: 0000000243-34682f67ddd847c7a0bd29b16580ff02fffab7c60981f72cf9b734e932287f19 [Add a recursion limit argument to the ProverT monad and the runProver functions David Fox **20111130005438 Ignore-this: 88428e9aaccb9169ce840093545d2877 ] hash: 0000004341-a9b6e9d796e6b63d95aa64f99e2b1ab83d2bddaae88b74e52e82bd34dc9b1ac8 [Remove an unused import David Fox **20111130193134 Ignore-this: ee06fac17132d96768e5f467b08e52d5 ] hash: 0000000211-59594c54f7dbf55087cfaa9677be99b53b16e84cb0de609db46748e5fe0fc9c9 [0.47 - Move some orphan ProofResult instances here from ontology David Fox **20111202194353 Ignore-this: e0ea0fd7b5421533460ab730b13bc89d ] hash: 0000001039-0b199aad9ca3b000732b52aafcd3f4d5d356b3a5e4a0627ae20da01e13b0d407 [Remove -Werror for hackage David Fox **20111202194713 Ignore-this: 9ce14e131cfcc9e17ebc3bea5e1e9c8f ] hash: 0000000230-716baecfc9dc54d6f514355c9a968fdeebb43e5774e801c6e7e6e05b3b6c46b3 [Specify lower bound for base version David Fox **20111202194841 Ignore-this: e5f41ab0be2ca6fb6818cdb1bf4ba487 ] hash: 0000000335-f7f8090117bbb83b08243726795b0a7a77886240ba15385b479d7de552f50315 [Specify upper bound for base too David Fox **20111202195024 Ignore-this: 5d6aa4372e9a69c16e694aa2ca545716 ] hash: 0000000345-5a519892fc052504632416be17729910140ae9bd061490f092f9d19bd903999f [Remove -threaded argument, it doesn't affect libraries David Fox **20111202195108 Ignore-this: 4d16da16dfdae1b4d851643f6c882ac3 ] hash: 0000000240-7cc962ec07f5479f73fce30caf1007ca1bd4bc1c5f392d0e859163f6b9dbd71e [Add missing test modules David Fox **20111205023205 Ignore-this: 931b0ebafdd9a2326a0ef7c264ba8d1a ] hash: 0000000476-a474439a2e162622ca7fcd04d54820c25085d74b9644f704410d9ea74ebd6480 [Fix a bug in the unification algorithm David Fox **20111206010307 Ignore-this: b191074aa63ca9c7cbc90fa3e087e63 ] hash: 0000000672-15aedf33cb143f68d5a3f7fb4bc2c2884415d42cbd319c959408a758ddfa23d2 [Re-arrange to match the rewrite to ease migration David Fox **20111222131457 Ignore-this: 7aea7406a8b7a8d4a89cb922f2e1f044 ] hash: 0000021992-e49507563df83ac7381a09ba82df7403ea8a75a2dc31d1c8d456c5cf4e5c9e40 [Migration to new class structure, phase 2 David Fox **20111224001226 Ignore-this: d951c8aab0f0d1276b16b1bc39b3e16d ] hash: 0000012831-023035d136d2847e2edc9a6f498abf508bd68832809f327171860c2d361392ed [Migration to new class structure, phase 2: switch to Variable class David Fox **20111224140255 Ignore-this: 179a9f0ff8e404ac30f3c6c79eebb92f ] hash: 0000004408-9ce413179c2de2dbe96b44cc469b3ad0b35dbd23a657457a4deb306ab6fd6a43 [Swap precedence of & and | to match haskell and harrison David Fox **20111224173012 Ignore-this: c326b820c78ba10859b55f07f26b24f1 ] hash: 0000011692-9474725df027e9bf2a8af2e31c48e6bd7998c01e5d84c65b3bb9bccc1840a6d5 [Migration to new class structure, phase 4: Rename Combine -> Combination and add TRUE/FALSE David Fox **20111224180637 Ignore-this: c66bacb4146496b85c9b057c26913b58 ] hash: 0000009227-c5716a34e7d12a3ef7292974ce30f3b6e1fb31b8001ee92b2225944a6b8d282e [Copy in the Data.Logic.Harrison modules David Fox **20111225143140 Ignore-this: ba4751b5543c4eee569084df7983eecb ] hash: 0000114657-d4b92ffe19a5d587da0b5da954544f5c1ba313e97a76e1bcf05797f22c846d76 [Rename Term class methods to match harrison: var -> vt, zipT -> zipTerms David Fox **20111226061256 Ignore-this: f2f898c6a17c9490a87d12cb63e7c73 ] hash: 0000082721-f6dbc0eb913572d946600a1495a87b0a078129b3f39aa46243ce2253c14a19f8 [Copy the Data.Logic.Classes.Equals module from Harrison David Fox **20111226140028 Ignore-this: c56ab3f13d7f96bf03c6b910d2ae91bd ] hash: 0000003011-d0d4ce539a657e90a02e55f4482789e4e2a6c44cc4a0cc465f8faadc4ae3971e [Rename a constructor in the Quant helper type to match harrison David Fox **20111226140513 Ignore-this: 99ffe09a0bf95d928568543094920c46 ] hash: 0000003391-eeef9040925e2e88ad2fea112bb00121d9df019f2b8401c35a8e8cc4508d0b48 [Add Data.Logic.Classes.Equals to exposed module list David Fox **20111226141408 Ignore-this: 8dc0f2fdd37596f3fa9d8455575f7937 ] hash: 0000000224-8a587b69263b73a4583c92a0b2329fb1bdaa3b21e97263f26b9e9653189e9704 [Get rid of Data.Logic and remove Data.Logic.Classes.Equals from exposed module list David Fox **20111226144223 Ignore-this: 6cd6d7fa7c7cbfd21249dc81b6d879b5 ] hash: 0000001810-339ea26db1a1365e8e732866ab8d5152176ec195313d6b92bbf73bab72719bb2 [Add atomic method to FirstOrderFormula and Literal classes David Fox **20111226144633 Ignore-this: f23257775aea7513c7b52a4513e8c2c0 ] hash: 0000001038-8e5c60ba5f01953e9f4c5ad32965234bae1fa873f3a25a1fd6da8bce9275d87e [Change the type parameters of FirstOrderFormula and Literal to match harrison David Fox **20111227133534 Ignore-this: 7eae4dc58b5695c7d441243f150bb134 ] hash: 0000117718-48f52a7e03ed177f7ed0a533cbdc4ea9ffb7937636bbebc7d6031e1fae5995ec [Add the Harrison Type modules, but don't build them until we get all our clients working again - we may want to adjust the super classes David Fox **20111227144250 Ignore-this: 8cd259f93dd0150386fecc3f4be4efc ] hash: 0000015009-8efb9c1f12547d5f60eacf3b4d72b9222339851c4dacdefb7fa28bd10fdf8344 [Get rid of unused PredicateEq class David Fox **20111227144650 Ignore-this: eab6eb670f52f3e20c67d66e3692dc4 ] hash: 0000003967-2afa2f6ee717b3f006feed19481f15f167c8bfbe060b6838430fb87d1e11cfff [Get rid of non-monadic skolemization code, rename NormalT -> SkolemT, NormalT' -> NormalT, get rid of Function class David Fox **20111227175352 Ignore-this: 415fb47954fdb9d195f0fccd41ef4a4f ] hash: 0000018917-88b5132963fa48939d78f4898708de28e200b769f24c221a9b2a215c9f55bcbe [Add argument to foldAtom and foldAtomEq to handle the true and false predicates, get rid of TRUE and FALSE constructors in Combination David Fox **20111227202854 Ignore-this: e6cbdbc2fef7c05ac947e4b757b47a46 ] hash: 0000019468-49a07dc3dbe847f3731cadee7f8b98ec414943f20d5b7db49c541ff92885035d [Migration to new class structure, phase 5: working seereason site David Fox **20111227211649 Ignore-this: f3be3781678d2076dc7473be532fa589 ] hash: 0000001802-8a88f99178da86f1053ed14e188b14ed3a30cfc486cd787d19c60ce8143a2129 [Add debian dependencies on applicative-extras David Fox **20111228064414 Ignore-this: f78589f231e2226d0f1b9981ca7887af ] hash: 0000000292-38986426e6fe9fee9c60776112ed6935c78924935b61c7e42754fcd416d69b9b [Add the test modules from harrison David Fox **20111229132728 Ignore-this: 247d402684fe472be077c40a90fc9a4 ] hash: 0000100893-ca8019047cec14295458e7ab339cf0c18324a80c023730f36e86aa6ef8db082f [Add harrison types David Fox **20111229164015 Ignore-this: 7eaf64dd5bc4f8114fed11066fb13fa0 ] hash: 0000063622-fffbb193428d27c43d1de77d7e5c81e65d953b73db40bf14b4a06e57df52487e [Copy and update harrison code David Fox **20111229174846 Ignore-this: a73a0cc270f29f800711e4411c2f4a45 ] hash: 0000000554-75acb82477f40e46b22245f335c20d10b9c5c3526c5485a7b2d89737cdb79a23 [Enable most of the Harrison tests David Fox **20111229195949 Ignore-this: 50213091e3669d4c5c8cc7a1f99960b6 ] hash: 0000097724-6aefd89d9ed9dd61ace13452bf86f053072fc404a6ad6b5da2ec609f75792a41 [Enable most of the remaining tests, but the meson tests all fail David Fox **20111229205940 Ignore-this: bee4154046f6df4261e3c8cb257d1523 ] hash: 0000023087-fa78d073d0e253ae40b8fcf8437b7a05481f6bfcf3c05de5a4acd82e825e88bb [Fix the unification function, now all tests pass David Fox **20111229234339 Ignore-this: 8bd73bf63d3aa2971dd782cb1191acc5 ] hash: 0000023267-da0eb2f0bd8bafae9e3f2f486e2b841d73f4582bc0a06c91e940eae8360d1dea [Replace PredicateEq class with PredicateName type, remove foldCombine David Fox **20111230040559 Ignore-this: 3a59e0559dc2b84330fbd3d4c7fc0067 ] hash: 0000009287-a1877178d5ae0743afd841517639c39f7132ffae35080a438823811041387d6e [Add Classes.Equals module to exported module list David Fox **20120103014816 Ignore-this: 109f11f3cdc2925519fbc9593a0f5323 ] hash: 0000000221-e48b119215d6ca6f95f73629fb2d94627c3aca6d1d55b812827da83c1d2d8987 [Remove instance FirstOrderFormula => Literal David Fox **20111231065113 Ignore-this: e19d0221031afa17f5d3882f8eb9a116 ] hash: 0000024532-77c134ee73ac74c7d4d4b25a1a22fe245f294c1280f8cb41472da8bacdf8bd45 [Get rid of redundant code David Fox **20111231144905 Ignore-this: d768726191e406039c6807c049f67390 ] hash: 0000034878-697fde5b83fe625ef6b92fe2f3b71eeb700805ea42697ec04852d93f97de892e [Rename class Atom -> Apply, and add a new Atom class David Fox **20111231172302 Ignore-this: ab62cc46eac97e0ff79f8dce8bde628a ] hash: 0000011726-b983f136443dfdc1934062569f4704e822c294f0d358e08b23c002fb2fd47591 [Changes for GHC 7.4 David Fox **20120103204319 Ignore-this: 5a3d5401bb5e69c120de0d81705a90d8 ] hash: 0000013936-f66840e58023c42a74d6ba219e39da17774d0da26d1c9f58de6127f16614a3c9 [Version 1.0.1 David Fox **20120103204358 Ignore-this: 5f9c53fb60382c958f84781f95309722 ] hash: 0000000365-9f02c6e7fd8b7b9d033af04d59ad6abd1ae194e093d9140a78ca093517834ba4 [IMPORTANT BUG FIX IN NORMALIZATION CODE David Fox **20120104040129 Ignore-this: b2d21677f871227edabc3341566df3f6 ] hash: 0000000311-2fd7989d68c78288eaba522211c1f86577e91589287d99a22fff3793920c5642 [Make all the simpcnf and simpdnf functions more similar David Fox **20120104040203 Ignore-this: 3b6af721d5a96bc1ee1281997ceae036 ] hash: 0000001619-1092fcc949fe30e0fe33a9936ed92fb4b918746f7f456169c5579d31a634225f [Fix some places where the tf argument to foldFirstOrder wasn't being used David Fox **20120105145002 Ignore-this: fe71dd658e0af644a32eaaae21db29cb ] hash: 0000000852-bf94c8a9d02e324d3b5aa1cf99720ee12b4779f5f5b7e1f81020a5e9a7412cc7 [Get rid of NotEqual and Constant constructors in Predicate type David Fox **20120107233532 Ignore-this: 953d96c6e01ca3b0846cfcab3fcf650d ] hash: 0000003087-2ad85e1d01fedf2479da77e33a6fa1f1e44bd928baef8e21e8ba403678e0941c [Version 1.0.2 David Fox **20120106170839 Ignore-this: 2776314db5b5055ed529ad51fb6b6fd1 ] hash: 0000001511-db983e47c71750fc17b6cf59b5394b135a84489f41d79e4350c2d7c932fc6999 [Pass function parameters to handle the two atom classes (Apply and AtomEq) David Fox **20120107235234 Ignore-this: 1d568a791ac6ed4139be4f3387af07db ] hash: 0000014078-a6447bc58717e7d3fcc4e12104c91da749f7ea6a1103b8dcc134f245cba9655b [ANOTHER IMPORTANT FIX TO simpcnf David Fox **20120107235241 Ignore-this: cea4aa9983201bda79bb8c320e4e6dab ] hash: 0000000580-e7171b48e59504adcded0653148725eb5086ec7aec70ab3c02db15c58ab4df74 [Hopefully improved API in Negatable class David Fox **20120108000855 Ignore-this: 146fe0e5145394a653c86113e06bb99f ] hash: 0000006006-60e560b58c3b69e6f23cd9205939d558b99cf08c583a9b4e12f6e05f88a671dc [Replace negate function with more general (.~.), move related functions positive and negative to Negate class module David Fox **20120108002034 Ignore-this: 2d1156a597c3540c9f6bd8185325cdf1 ] hash: 0000003144-349d53313bcd93ac11896c6068a2c3dec44d145c1816aedcfc3f4e3067a21a30 [Put fv and subst into a type class (Formula) David Fox **20120108003810 Ignore-this: d04151d343fe0b6c3f8f16ad48f1e452 ] hash: 0000013696-e84d559767da26ef4ee61a7c159b9b4c9e198b3bfbbc5541108460943e611076 [Separate code to handle atoms from code to handle formulas David Fox **20120108010544 Ignore-this: 4b307fc6200236588107f1ec5f368e98 ] hash: 0000013956-b18612aaff0aa3db3c0c3a23424b6467ec20e330dff6d69295bb87d7a1044951 [Replace Chiou substitution function with harrison, adjust a test case David Fox **20120108011737 Ignore-this: 24c59da0aef1b3ae5516185225e2451a ] hash: 0000000945-6b33987661863d6bbc686210d903c5e641d6117be36d42ede465baeb11e30047 [Finish splitting out the atom handling code from the show and pretty printing functions David Fox **20120108162901 Ignore-this: 80dfc390dcff057c2f1a4e6bb1c6f252 ] hash: 0000017584-365c1853a8c874dba7005ae54698f219f136dca11fc9f7d2dfeee6ef6c97475e [Merge the two versions of simpcnf and related functions David Fox **20120108164223 Ignore-this: d18752996b786012b1badf1d7b52e0b0 ] hash: 0000004714-8e1117164e6a7902f27ef85f2d68c1d8b66028782955f7e272168dc425641111 [Split atom support from formula support in simpcnf and friends David Fox **20120108202631 Ignore-this: b5bac0de9cd5bf3cfad30ed00306d757 ] hash: 0000010613-c9a6126651be61ab44a353d6882c90ddd47f74f694d62ae7b98b4bb9f7d7a266 [Replace AtomEq superclass with Formula David Fox **20120109034002 Ignore-this: f3b72fa266c31a72f0ae64146309f89 ] hash: 0000048059-1c0b2313eff7a5387de4f33d23eef1e93b039843ad87dda33bf029e5d00371d3 [Use the methods of Formula instead of the function parameters David Fox **20120109184425 Ignore-this: 5bb3eaacd93186623543f56770fdc78b ] hash: 0000067751-296e0e3d9947181a64507d25af8e76c40dd099f69ab747eb54af483d2b8c27d8 [Version 1.1 David Fox **20120109195555 Ignore-this: 963261abd61c35c669e33dd862d6387b ] hash: 0000000458-e293336016cb010b73312e594ffbd52ca1c6728b2bd167aa07e4e49fa4ffe16e [Export Data.Logic.Classes.Formula David Fox **20120109203324 Ignore-this: 8078ce8ff5452dba635444e5f0032cd9 ] hash: 0000000206-b0b7836618a135d8b24d5c580fb75632568ae076cafbbad2db04072590cc884e [Version 1.2 - Add Pretty class and instances David Fox **20120110185640 Ignore-this: d1c66042f0155189bbd3d2f448771023 ] hash: 0000002329-37d0a2ca9d7661c4ac974a9f7de8ed0b6c8623ba32c4b992eb7223f451f53480 [Update cabal file header, add missing fields David Fox **20120113133524 Ignore-this: c18503fd699bde67813ddfc2256d6cf9 ] hash: 0000000913-298a117ab9ddbac4ee91635163205ca521cc727bc96b3d1f1609828902f823f4 [Clean up the superclasses a bit David Fox **20120113164918 Ignore-this: a658d24aec12c5fcf2e0b499f1ee6afc ] hash: 0000017175-5811ec9337e0d51d689a732f9f9cd81ff2367be1bf866275b8416c46097a6bac [Make Pretty a required superclass for everything David Fox **20120113185609 Ignore-this: d9b3e6fc9a78b1292fd03bf65dbad193 ] hash: 0000004164-c60a8ace5771545b0a8306d13438ec419fd9517deeee72029bf9c47beff781a4 [Change return type of fromFirstOrder to Failing David Fox **20120113185612 Ignore-this: 5c3054a3d4f5070caa3d1211f74ae95b ] hash: 0000001327-f8556a0753649aaec3444dc1063a1ca89f5d92a3bf5c7c101bdc2a27fca9d9a4 [More superclass cleanup David Fox **20120113191606 Ignore-this: a64e132fa13840d9e6a40bc29a56035e ] hash: 0000001511-db18e34c8262205efc35d6313f0737f21ca09e0fdb235574097c7e31f0bc5610 [More prettyprinting code David Fox **20120113203622 Ignore-this: 21d8aa9f2b441c26c56ed6823a6cb284 ] hash: 0000001791-a81032966d05a36ab795aea5c929c87c3cf8db370e92558c1e88bc7ab300b4dc [Add a function to convert literal to propositional David Fox **20120113205853 Ignore-this: 187b4ac3afa17e1fde91021177665b22 ] hash: 0000000605-fb4ef99bfd1599c9e0334cbd287d37f1ef8ee9756e437185ea88e48681e921b3 [Fix signature of function to convert first order formula to to propositional David Fox **20120113211649 Ignore-this: d61c1b80e1c1d150afc2356209af207f ] hash: 0000004009-d29688775cd0099ac7475403ee907bd3cf0a6812d1b5d8032eb256254779b10f [Version 1.3 - derive Show instances, but don't make them superclasses David Fox **20120114152406 Ignore-this: cdfddb100f0cb28b9919d8a639294037 ] hash: 0000003101-1b72e2a18d771fab21741ce6a9359cfc3d9eb25a38c8e649c399a1a92362df16 [Remove show instances that are now derived David Fox **20120114154148 Ignore-this: fadd80bcaa631fd4a09bb8b7b20b3cc3 ] hash: 0000000330-3947a41c465b0df4ab6bc45db039e46b7829d8d520aafa73a9f01d554e4edcc9 [Version 1.4 - major overhaul David Fox **20120118050156 Ignore-this: f13e2f583b5711ead0ee16dce92b6367 ] hash: 0000167919-adfff5c1da8a6e3531a3961bdc5ee916cbbd74c335bb142c3cc2a37e7ff361b1 [Supply PropositionalFormula instance in FirstOrderPublic David Fox **20120118051907 Ignore-this: 946725d4f1e4cc4a024ee6a0f259205d ] hash: 0000001917-b26d7f9d0ad82ad7f9700b25407fdea6a94f9378a683624a83b4d52ae2701790 [Disable Data.Logic.Harrison.PropExamples, its not fully translated David Fox **20120118053231 Ignore-this: 694e70a208795b1b0576a0e41d09a246 ] hash: 0000000301-9dda5770432c9621e3e2ac19dd947a5c4dddc118c4fd63abe1f1bfa1234b4726 [Move Data.Logic.Tests.Harrison.HUnit module to Data.Logic.Tests David Fox **20120118143241 Ignore-this: 5f9005809dc58c35de8a8edf35a632f3 ] hash: 0000001812-4ca094e447294092a3dc761c540c88f977a997e3b402a43324139078fbab7cb5 [Add a case to simplify1 mentioned in the Harrison book errata page David Fox **20120118191714 Ignore-this: 7a28f7a273ec9a2c58f44f71695c24d6 ] hash: 0000000426-5336eec1e5ebe7e1edb85ed124092e421a5409f01516b912f2661ba6b3f0d0d9 [Add a Doc directory and put an interactive test file in it David Fox **20120118191800 Ignore-this: e29b29a06556948873cba95d0e84a4ee ] hash: 0000002786-34d3b47c28ce7422f6b96a80043f98f3e055fffc29859f2b1056214740d09a2b [Fix and add PropExamples David Fox **20120118194901 Ignore-this: e4b7ebb72339cfb2126f8a0f5e1ae5db ] hash: 0000012985-fa8f5e5aabdbe36ddd6b53e380ec512d48ffe6151667d853614b465728c71d97 [Move asBool into Constants class and true and false out, enable some tests in PropExamples David Fox **20120118205020 Ignore-this: 204f7d513930ff54a2c9a8fbe28a931f ] hash: 0000012455-95909086e815d70e577939791acdfd0400b5e1dfe0171d42e003b3342bd39a48 [Use a map instead of a lambda function in the eval function David Fox **20120118231542 Ignore-this: c658bb37d9d03b2ac62128106e7c94cf ] hash: 0000005266-04187029396a62e0f7a33f8fa175855623d229c3934f89fa2b6d518527b1b86d [BUG FIX: divide by 2 becomes shift right 1, not shift right 2 David Fox **20120119011334 Ignore-this: 1926b79a121ffbad8391b6c265d5e82c ] hash: 0000000525-82c0f2725b253f0bca1cea5fca3252f6248acdf4a81587f021ccee8991328ec4 [Clean up PropExamples some more David Fox **20120119011455 Ignore-this: 336fc85e82a6636e12d52ad66bd52c3e ] hash: 0000001189-ad5eb21db55d8b4fa7c279fb9188f9e0e0fc091c12d8e8e0273d012bd16d1f39 [Update test cases David Fox **20120119011531 Ignore-this: d132ec3c9dab8f15cbb67f5eb652f2f8 ] hash: 0000061561-f64015f2728450f3290d004ae1e16090b94a9bbca4e83680d67be919e676b429 [Store the variable name in the Skolem function, update test cases David Fox **20120119141002 Ignore-this: 48f7e4897c39327199250eefd6307a50 ] hash: 0000058516-4ec04b04e251c5b3ccbcdd3bd3d9747c8740cfe176aa984c4e149b741bc66421 [Remove Int parameter from toSkolem function, update test cases David Fox **20120119162015 Ignore-this: 2871c707efeb8af3c26ac6f6b71362a5 ] hash: 0000116795-3a7c9255914240092da1dc77f5246d549e85931a507c24ec8a14fe5c1370fdff [BUG FIX: typo in nenf David Fox **20120119192202 Ignore-this: d582f2f222f84b82c51f43462529a1bd ] hash: 0000000275-f0297dae60d5c727ea8af5fae4de9b5822c0ab3adfeb5c97eadbc000d230c93f [Handle a missing case in DP.unit_subpropagate David Fox **20120119193119 Ignore-this: f829f8442904ffc27728f78df66a958e ] hash: 0000000232-f22528dd332e5fcd2cc565945eef9f30a9f2ccc10403315c10325d10643d7b33 [Update test cases, enable tests in DP, other random stuff David Fox **20120119193233 Ignore-this: dad87822c344b877d4cc7a3caf2a30e8 ] hash: 0000047289-df32e6c5eaa4cfac312aed84c2c8eea4ae99a77857ae48c0934550748b42c091 [Fix bug in Davis-Putnam backtracking David Fox **20120119194311 Ignore-this: 5bee3ec6b729829307855b80e5a6be7d ] hash: 0000000594-30f297a66a11e3ce9030a111919a816771e56a29cdfdb7dc7c3e2c40b66303ce [Change associativity of .|. from left to right, it doesn't affect much except how the test cases match. Tried changing .&. but it means updating more test cases David Fox **20120121132548 Ignore-this: 69be882a0908d55702ad21f6de8fa114 ] hash: 0000000337-e178efb09c8d366d8b3ee613c16f0d55e0675864e360b3a3b1e53b4bef0662f1 [Enable davis-putnam code in Herbrand module, switch to harrison's truth table code in Prop, add truth table test cases, fix skolem number pretty printing David Fox **20120121132650 Ignore-this: 3022285fbad626b2758867c5966472e ] hash: 0000033046-75235b1b400450fe3af99a59ca86a6c768b26e87623062165e46a6aa5106839e [Changes for GHC 7.4 David Fox **20120121133523 Ignore-this: 17bd75326639ce05d235666cc0ad61ae ] hash: 0000000504-1df0446630e19c6bc397b8959eef4be077e3c9999cc56b515aff5219f4d18c4d [Add Formula class for methods common to Literal, PropositionalFormula, FirstOrderFormula, remove third type parameter to Literal David Fox **20120121213104 Ignore-this: 1acd7c0b38085ff2f1c145b56a52ae12 ] hash: 0000044798-03067d3dc1ffa02a8a7d4f527e57b7edf4d3a6aeb822fb4747ac627249137fd1 [Create a superclass Formula for the three formula types: Literal, PropositionalFormula, FirstOrderFormula David Fox **20120122153846 Ignore-this: cf125c0972416fe2024dc15b221828ec ] hash: 0000049782-6b46c5af76d07e7755f2a0edb470b76e5205365205721f761b736a9c22953258 [Fix some pretty printing issues David Fox **20120122172344 Ignore-this: 9693427bc7738654e5b03619ebb45f41 ] hash: 0000001833-7081246a4185dea581564ec98d042993b1409575b81cade820b269d91c8677f0 [Disable Tableaux.compare function, it gets an error from GHC 7.4 David Fox **20120122173156 Ignore-this: 8489f4e3f9081c641c48cf5c4762178f ] hash: 0000000309-63694c298919ed6041454de6ea868a1213c3f1ce0e5056ee7a80746027eb36b9 [Add some FlexibleInstances options for GHC 7.4 David Fox **20120122180229 Ignore-this: 695684546e7ecd72fee21b9813b1e13b ] hash: 0000000410-028804a17ca02b90d4410581e340766e25be0d543c1c99a558f31e62cab4de6c [Remove use of time binary in Setup.hs, it isn't available inside the autobuilder David Fox **20120122181224 Ignore-this: d772092039d76f8892533015fd958d88 ] hash: 0000000324-f6331af8d66254a1b66b3984d3364f5c704560ecf3bc4cf612bd612a31b61ea7 [Remove comment that annoyed haddock David Fox **20120122184530 Ignore-this: fb6b82be1bad25f42ee107dc3bd0a0f0 ] hash: 0000000285-46b204f78c0317ced064b7f37dc98f8d1cc2115722adc3bb24de5ae59cba0db9 [Fix the real haddock error David Fox **20120122185135 Ignore-this: 10c753757df59ca7731980e38a899cc0 ] hash: 0000000358-d1d0f82d843a615f4ee334baa90edd3d42e81c28f3580da2fbf1d5499386df21 [Export Data.Logic.Classes.Formula and Data.Logic.Tests.Harrison.Common David Fox **20120122190050 Ignore-this: 3d39d968c260671fade37f90eea074b8 ] hash: 0000000326-04d6550310a4b94c3aef167ef6e5d4429e9e7f308e0d2643bcf3ece6871bda49 [Add Tests.Harrison.Common David Fox **20120122190758 Ignore-this: 5a67b929ddbb530836e6873eb12a0d0e ] hash: 0000000560-2b078db3e1a2c121eb401e5c7e1a9f01e34aa68d6d95d86524edff56b895a35a [Move Data.Logic.Tests.HUnit into library, it is referenced by Harrison.DP and others David Fox **20120122191506 Ignore-this: d1754e8276809d97fcb34ad3ccd9e379 ] hash: 0000000326-fd707943a31c45827ed491e820dab51ec8042a871811325990e6e3b543b314b9 [Add a HasFixity instance for Data.Logic.Types.FirstOrderPublic.Formula David Fox **20120123164355 Ignore-this: b07708951963a83728b62923a6905e7 ] hash: 0000000805-4b6d22f9b4d701921c41f9b4d947c18580630633aba532875d498942d3ddebb3 [Require newer cabal so that we see the dependency errors that are seen on hackage David Fox **20120415212938 Ignore-this: 52bf015d2fb23242b31c773a494c3a71 ] hash: 0000000769-a68319482e5dd0a5cb30107692e740f2110a11a7f19b9155329b3410779ab243 [Remove dependency on happstack-data, add license file David Fox **20120416032330 Ignore-this: ef45a1fc538830b744c079aecc033b96 ] hash: 0000003349-dd8fd7d1b37aacf706a7cacf1ecae7ed57110eb4d58c2636f9fa97eaf900c86c [Require PropLogic 0.9.0.3 so we can see the TextDisplay module David Fox **20120416154316 Ignore-this: 336081f81570b9263843740477daf22b ] hash: 0000000496-a1c83c71386e83e7fa389dd3c6e0a2cec1412be703b36bea0b50936c9185874b [Bump version to trigger new build on hackage with PropLogic 0.9.0.4 David Fox **20120417023229 Ignore-this: 42d1a503b5a0246239ec311eb278763e ] hash: 0000000242-418bfaab2ae2c17e595466f1454cda5de083918cf9d3c5390cf5453ef0d0d05e [Version 1.4.5 - changes to build with public version of applicative-extras David Fox **20120418134005 Ignore-this: b445d649117cc12b47bd1fd394afe86e ] hash: 0000001942-18d7b19c150da9e80c2a7fee5c8bc5d37d6b892f1c379184a68a928591a0794a [More changes to build with stock applicative-extras David Fox **20120418141753 Ignore-this: c50f7f6a8a5e2e4a929f01d5dbb05971 ] hash: 0000000886-076bcf25880dbcb48b21cb035232ee81d512d6cb1daae4e01606c9ab3ba9797e [Bump debian version to match cabal David Fox **20120418144148 Ignore-this: 4b327efcbb10ee01203d550e41c90c2c ] hash: 0000000333-8e2a93ab9405c5e2f8386539d1fe5b1da72a1b99c9b15a7f236fd7c526573ea2 [Fix package name: haskell-proplogic-doc -> libghc-proplogic-doc David Fox **20120420020440 Ignore-this: 532403930538ef051670b045d7187c5f ] hash: 0000000273-d9ef9427bdbbc709de4a2129a999c09bdb6edf81729544450f4da6e29a42cc2f [Remove some datatype contexts, a deprecated construct David Fox **20120620173534 Ignore-this: ee23cab6c5bc8b9944b889c3215b3b03 ] hash: 0000000464-6b82c3eaefa0338fcf66fc750401f5ee6af3a37748d595682538cafb834d2b04 [Make the incremental-sat-solver imports explicit in Data.Logic.Instances.SatSolver David Fox **20120620174531 Ignore-this: b1a82b3d6ba7af24d9ea18d616875e49 ] hash: 0000000342-6da8bb03ec903751a99341318c35c693521a9854a1e953b677bf86f75f2557d1 [Version 1.4.6 David Fox **20120620174610 Ignore-this: 86d5b1e9cb564df506b5d615d81d78f8 ] hash: 0000000423-d99d5d2a234f4140db067ef50062e853b95d1970292ee65ed12de0cdadaeff4f [Remove unused debian dependencies on happstack-data David Fox **20121218170928 Ignore-this: 8ba88694b71b87a3209372015f2a665 ] hash: 0000000289-34e2e054ab2aa41310771715ba5b8835827b1ec4ba1bd83076a31837e56beb1b [Don't assume our patches are applied to applicative-extras David Fox **20121218175113 Ignore-this: 6a7cbcd42ea720044096e8fb36cf2d89 ] hash: 0000003464-1d5405df55ceb13671a5f512a4f71a8f4c6588235bfb3c8553b8dde2dcfd971e [Add a superclass required by ghc-7.6 David Fox **20121218175719 Ignore-this: ab7d13d1967dd2755451d2515f53a16e ] hash: 0000000290-127f47e72c8f4391b96dcc3c63dafb8c3888603f7582aaf258b2b2f09f92c964 [Version 1.4.7 - copy incremental-sat-solver into the library with extra exports David Fox **20130107014831 Ignore-this: f5375da55d499ac82f9b4ec6202a80e1 ] hash: 0000012018-b91b796168c6f512d5d488b673b80235ad278e9dc46f76c76a1805520aab4f87 [Remove two uses of the deprecated DatatypeContexts extension David Fox **20130617001309 Ignore-this: 5d980f7a6272f22875ec1cac42ad5a5e ] hash: 0000000482-f228165f48fb466c6034d06bdae70ba159f45c53de92b43eff68e655efef199c [Move some declarations from Literal to FirstOrder David Fox **20130620164549 Ignore-this: 379e853fc00b552db20dcffcb3f70b1b ] hash: 0000002635-ea03657ece51c40786f57a14c8beb3f56c81183372d9dcd7e8a3c21dc77e448b [Fix an import of fromFirstOrder David Fox **20130724195111 Ignore-this: 15a6b00b95a39e54da83ae2975262a46 ] hash: 0000000453-6ba4ddff9a0ea0db1898e3894829f366439e2c3ba5f5d24334d12b0a485f3cea [version 1.4.8 - Make changelog visible in hackage David Fox **20131015144907 Ignore-this: b8de4f27ccfdc08fc23be18dcc004fe0 ] hash: 0000000696-65016b1e807062fca268e49d8b7995576846d20a37d29f3941cfd7148dff8055 [Patch to get a build with GHC-7.8 David Fox **20140326183854 Ignore-this: 99491f1fc6c970e576b6bfe2630c4859 ] hash: 0000003848-651ddb53d49f4ec9b58ead5a57136384f31601f4d3aeff111945da2e3550fa21 [Make the context of the predicate application functions more general David Fox **20140329144650 Ignore-this: fa1a807c95b1d46653c71773d37561fe ] hash: 0000002882-db7f8465df2f57e5d0697b060d64cca82f765cf1e8d93e66e8028355fa9dfcc4 [Version 1.5 - move the pApp* functions from Classes.FirstOrder to Classes.Apply, make their context more general David Fox **20140329145754 Ignore-this: 6393816005e7b1d9a9b1c7ec5990668f ] hash: 0000006366-aa4620b024686547edc1434e8c0f9a78674731e5c40b213f8db00e1941338781