On Mon, Oct 10, 2011 at 12:44 PM, Martin Baker <[email protected]> wrote: > > 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 >
What is unclear about macro? This is simple substitution. Or do you mean the use of %false? > and this: > > isEquiv : % -> Maybe Pair(%,%) > 'Maybe(X)' is OpenAxiom's "partial" domain constructor roughly equivalent to 'Union(X,%false)' > which I think would need translating. > I would be glad to try to help with the translation. Regards, Bill Page. -- 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.
