diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-01-17 14:27:29 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-01-17 14:27:29 +0000 |
| commit | 15dcc4936996a27019112ff58e9202a81d792047 (patch) | |
| tree | 1e49da404b12b46c30989feac07e26f87f4810ba /src/include | |
| parent | f5ba07e55ec584939b62a3887c2ff7ebf8083759 (diff) | |
| download | open-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