aboutsummaryrefslogtreecommitdiff
path: root/src/include
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-01-17 14:27:29 +0000
committerdos-reis <gdr@axiomatics.org>2008-01-17 14:27:29 +0000
commit15dcc4936996a27019112ff58e9202a81d792047 (patch)
tree1e49da404b12b46c30989feac07e26f87f4810ba /src/include
parentf5ba07e55ec584939b62a3887c2ff7ebf8083759 (diff)
downloadopen-axiom-15dcc4936996a27019112ff58e9202a81d792047.tar.gz
Fix SF/1849734
* interp/i-spec1.boot (upand): Don't insist on having operands of type Boolean. (upor): Likewise. * algebra/mkrecord.spad.pamphlet (Pair): New domain constructor. * algebra/exposed.lsp.pamphlet: Expose Pair, PropositionalLogic, PropositionalFormula. * algebra/boolean.spad.pamphlet (PropositionalFormula): New domain constructor. * algebra/Makefile.pamphlet (axiom_algebra_layer_4): Include PAIR.o. (axiom_algebra_layer_19): Include PROPFRML.o * share/algebra: Update databases. * testsuite/interpreter/1849734.input: New.
Diffstat (limited to 'src/include')
0 files changed, 0 insertions, 0 deletions