diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-05-07 23:12:57 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-05-07 23:12:57 +0000 |
| commit | fa9902f78dd3cdcd50e25f2e902508c8777a6fa9 (patch) | |
| tree | 85f34e58119c2c8cd0edfe566f6a7d40b7d8cba4 /src/interp | |
| parent | fef8e26d6994bd131ebfb85ec4a1509acac217d9 (diff) | |
| download | open-axiom-fa9902f78dd3cdcd50e25f2e902508c8777a6fa9.tar.gz | |
* algebra/boolean.spad.pamphlet (true$Boolean): Simplify.
(=$Boolean): Likewise.
(equiv$Boolean): Likewise.
* interp/spad.lisp (|BooleanEquality|): Remove.
Diffstat (limited to 'src/interp')
| -rw-r--r-- | src/interp/spad.lisp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/interp/spad.lisp b/src/interp/spad.lisp index 0ac5ef98..ffc41c90 100644 --- a/src/interp/spad.lisp +++ b/src/interp/spad.lisp @@ -289,8 +289,6 @@ (defun \,difference (x y) (- x y)) (defun \,max (x y) (max x y)) (defun \,min (x y) (min x y)) -;; This is used in the domain Boolean (BOOLEAN.NRLIB/code.lsp) -(defun |BooleanEquality| (x y) (if x y (null y))) (defun S-PROCESS (X) (let ((|$Index| 0) |