diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-05-30 02:56:28 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-05-30 02:56:28 +0000 |
| commit | c0e46794454133d4a42587f059779a3fe361c576 (patch) | |
| tree | 209685df5b44e975e7d662445873acccb06564e9 /src/algebra/strap/BOOLEAN.lsp | |
| parent | a31ebb2c1b71c66ac34ffb0c27e6d7188ffb0906 (diff) | |
| download | open-axiom-c0e46794454133d4a42587f059779a3fe361c576.tar.gz | |
* algebra/boolean.spad.pamphlet (Boolean): Remove reference to
Lisp. Use builtin functions.
Diffstat (limited to 'src/algebra/strap/BOOLEAN.lsp')
| -rw-r--r-- | src/algebra/strap/BOOLEAN.lsp | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/src/algebra/strap/BOOLEAN.lsp b/src/algebra/strap/BOOLEAN.lsp index b6a99dfe..2910174e 100644 --- a/src/algebra/strap/BOOLEAN.lsp +++ b/src/algebra/strap/BOOLEAN.lsp @@ -8,41 +8,41 @@ (DECLAIM (FTYPE (FUNCTION (|%Shell|) |%Boolean|) |BOOLEAN;true;$;2|)) -(PUT '|BOOLEAN;true;$;2| '|SPADreplace| '(XLAM NIL 'T)) +(PUT '|BOOLEAN;true;$;2| '|SPADreplace| '(XLAM NIL |%true|)) (DECLAIM (FTYPE (FUNCTION (|%Shell|) |%Boolean|) |BOOLEAN;false;$;3|)) -(PUT '|BOOLEAN;false;$;3| '|SPADreplace| '(XLAM NIL NIL)) +(PUT '|BOOLEAN;false;$;3| '|SPADreplace| '(XLAM NIL |%false|)) (DECLAIM (FTYPE (FUNCTION (|%Boolean| |%Shell|) |%Boolean|) |BOOLEAN;not;2$;4|)) -(PUT '|BOOLEAN;not;2$;4| '|SPADreplace| 'NOT) +(PUT '|BOOLEAN;not;2$;4| '|SPADreplace| '|%not|) (DECLAIM (FTYPE (FUNCTION (|%Boolean| |%Shell|) |%Boolean|) |BOOLEAN;~;2$;5|)) -(PUT '|BOOLEAN;~;2$;5| '|SPADreplace| 'NOT) +(PUT '|BOOLEAN;~;2$;5| '|SPADreplace| '|%not|) (DECLAIM (FTYPE (FUNCTION (|%Boolean| |%Boolean| |%Shell|) |%Boolean|) |BOOLEAN;and;3$;6|)) -(PUT '|BOOLEAN;and;3$;6| '|SPADreplace| 'AND) +(PUT '|BOOLEAN;and;3$;6| '|SPADreplace| '|%and|) (DECLAIM (FTYPE (FUNCTION (|%Boolean| |%Boolean| |%Shell|) |%Boolean|) |BOOLEAN;/\\;3$;7|)) -(PUT '|BOOLEAN;/\\;3$;7| '|SPADreplace| 'AND) +(PUT '|BOOLEAN;/\\;3$;7| '|SPADreplace| '|%and|) (DECLAIM (FTYPE (FUNCTION (|%Boolean| |%Boolean| |%Shell|) |%Boolean|) |BOOLEAN;or;3$;8|)) -(PUT '|BOOLEAN;or;3$;8| '|SPADreplace| 'OR) +(PUT '|BOOLEAN;or;3$;8| '|SPADreplace| '|%or|) (DECLAIM (FTYPE (FUNCTION (|%Boolean| |%Boolean| |%Shell|) |%Boolean|) |BOOLEAN;\\/;3$;9|)) -(PUT '|BOOLEAN;\\/;3$;9| '|SPADreplace| 'OR) +(PUT '|BOOLEAN;\\/;3$;9| '|SPADreplace| '|%or|) (DECLAIM (FTYPE (FUNCTION (|%Boolean| |%Boolean| |%Shell|) |%Boolean|) |BOOLEAN;xor;3$;10|)) @@ -56,7 +56,7 @@ (DECLAIM (FTYPE (FUNCTION (|%Boolean| |%Boolean| |%Shell|) |%Boolean|) |BOOLEAN;=;3$;13|)) -(PUT '|BOOLEAN;=;3$;13| '|SPADreplace| 'EQ) +(PUT '|BOOLEAN;=;3$;13| '|SPADreplace| '|%eq|) (DECLAIM (FTYPE (FUNCTION (|%Boolean| |%Boolean| |%Shell|) |%Boolean|) |BOOLEAN;implies;3$;14|)) @@ -64,7 +64,7 @@ (DECLAIM (FTYPE (FUNCTION (|%Boolean| |%Boolean| |%Shell|) |%Boolean|) |BOOLEAN;equiv;3$;15|)) -(PUT '|BOOLEAN;equiv;3$;15| '|SPADreplace| 'EQ) +(PUT '|BOOLEAN;equiv;3$;15| '|SPADreplace| '|%eq|) (DECLAIM (FTYPE (FUNCTION (|%Boolean| |%Boolean| |%Shell|) |%Boolean|) |BOOLEAN;<;3$;16|)) @@ -90,7 +90,7 @@ (DEFUN |BOOLEAN;test;2$;1| (|a| $) (DECLARE (IGNORE $)) |a|) -(DEFUN |BOOLEAN;true;$;2| ($) (DECLARE (IGNORE $)) 'T) +(DEFUN |BOOLEAN;true;$;2| ($) (DECLARE (IGNORE $)) T) (DEFUN |BOOLEAN;false;$;3| ($) (DECLARE (IGNORE $)) NIL) |