aboutsummaryrefslogtreecommitdiff
path: root/src/utils
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2011-10-16 09:43:42 +0000
committerdos-reis <gdr@axiomatics.org>2011-10-16 09:43:42 +0000
commitf699415cce3f73d0f2b63ecb3b1fdc7084ba4cea (patch)
tree744cd817af434417c8bbcc64123029f4e42ae7a3 /src/utils
parent39982663dc44f7b44c63af6ae4182f8d60d7d341 (diff)
downloadopen-axiom-f699415cce3f73d0f2b63ecb3b1fdc7084ba4cea.tar.gz
* algebra/boolean.spad.pamphlet (Boolean): Implement default
Boolean operators in terms of Logic operators. (PropositionalFormula): Implement Logic operators instead of Boolean operators. * algebra/exposed.lsp.pamphlet: Expose PropositionalFormulaFunctions1 and PropositionalFormulaFunctions2.
Diffstat (limited to 'src/utils')
0 files changed, 0 insertions, 0 deletions