From fa9902f78dd3cdcd50e25f2e902508c8777a6fa9 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Wed, 7 May 2008 23:12:57 +0000
Subject: 	* algebra/boolean.spad.pamphlet (true$Boolean): Simplify. 
 (=$Boolean): Likewise. 	(equiv$Boolean): Likewise. 	*
 interp/spad.lisp (|BooleanEquality|): Remove.

---
 src/interp/spad.lisp | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src/interp')

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)
-- 
cgit v1.2.3