diff options
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)) |