diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-09-21 04:35:01 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-09-21 04:35:01 +0000 |
| commit | efd27489ffb3778032742b14697166bc9bdef365 (patch) | |
| tree | dd55176a6d286a694e3fea84ea0722f26f35cb6f /src/algebra/strap/BOOLEAN.lsp | |
| parent | fd8c12056474ecab97015eff9cdadd4bd77b5fd5 (diff) | |
| download | open-axiom-efd27489ffb3778032742b14697166bc9bdef365.tar.gz | |
Update algebra databases and algebra bootstrap Lisp files.
Diffstat (limited to 'src/algebra/strap/BOOLEAN.lsp')
| -rw-r--r-- | src/algebra/strap/BOOLEAN.lsp | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/algebra/strap/BOOLEAN.lsp b/src/algebra/strap/BOOLEAN.lsp index f275dcd5..ebdb87c8 100644 --- a/src/algebra/strap/BOOLEAN.lsp +++ b/src/algebra/strap/BOOLEAN.lsp @@ -158,12 +158,12 @@ ((|false| ($)) T (CONST $ 8)) ((|true| ($)) T (CONST $ 7)) ((|convert| ((|InputForm|) $)) T (ELT $ 36)) - ((|equiv| ($ $ $)) T (ELT $ 21)) - ((|implies| ($ $ $)) T (ELT $ 20)) - ((|or| ($ $ $)) T (ELT $ 13)) + ((|not| ($ $)) T (ELT $ 9)) ((|and| ($ $ $)) T (ELT $ 11)) - ((|not| ($ $)) T (ELT $ 9)) ((~ ($ $)) T (ELT $ 10)) - ((|/\\| ($ $ $)) T (ELT $ 12)) + ((|or| ($ $ $)) T (ELT $ 13)) + ((|implies| ($ $ $)) T (ELT $ 20)) + ((|equiv| ($ $ $)) T (ELT $ 21)) + ((~ ($ $)) T (ELT $ 10)) ((|/\\| ($ $ $)) T (ELT $ 12)) ((|\\/| ($ $ $)) T (ELT $ 14)) ((|size| ((|NonNegativeInteger|))) T (ELT $ 24)) ((|index| ($ (|PositiveInteger|))) T (ELT $ 28)) |