On Oct 10, 5:22 pm, Ralf Hemmecke <[email protected]> wrote: > Maybe you find out about the revision numbers in the openaxiom repo that > produce the PropositionalLogic thing. Perhaps we can simply cherry-pick > those patches into FriCAS. > > Ralf
I was just looking at open-axiom-1.4.1 which has the following additions in boolean.spad.pamphlet: category PROPLOG PropositionalLogic domain PROPFRML PropositionalFormula package PROPFUN1 PropositionalFormulaFunctions1 package PROPFUN2 PropositionalFormulaFunctions2 The problem, for me, is code like this: macro FALSE == '%false and this: isEquiv : % -> Maybe Pair(%,%) which I think would need translating. Martin -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en.
