diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-05-28 21:44:26 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-05-28 21:44:26 +0000 |
| commit | 9a866efde4ed887d024c01a49b3cdde777d8deb3 (patch) | |
| tree | c3434f7a42ddb6bc3590d9aba429129541c57c0a /src/interp/property.lisp | |
| parent | 0e6d0cdde92747cc02d9965eef8ef1edc31cb1ae (diff) | |
| download | open-axiom-9a866efde4ed887d024c01a49b3cdde777d8deb3.tar.gz | |
* interp/compiler.boot (compVector): Tidy code generation.
(checkExternalEntity): Handle Builtin external entities.
(compSignatureImport): Likewise.
* algebra/boolean.spad.pamphlet (Boolean): Import Lisp function
from Foreign Builtin.
(KleeneTrivalentLogic): The constant `true' and `false' are now
inherited.
Diffstat (limited to 'src/interp/property.lisp')
| -rw-r--r-- | src/interp/property.lisp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/interp/property.lisp b/src/interp/property.lisp index 1a8a2323..7ef0cb96 100644 --- a/src/interp/property.lisp +++ b/src/interp/property.lisp @@ -82,7 +82,9 @@ (|rem| " rem ") (|case| " case ") (|and| " and ") + (|/\\| " /\\ ") (|or| " or ") + (|\\/| " \\/ ") (TAG ": ") (|+->| " +-> ") (RARROW " -> ") |