From e09e82b4e3e7546a4c12c0d80ca90ee95ea3f05c Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 11 Feb 2010 08:47:31 +0000
Subject: 	* algebra/boolean.spad.pamphlet (~$Boolean): Work around silly
 bug 	in CLisp-2.48.

---
 src/algebra/boolean.spad.pamphlet | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/algebra/boolean.spad.pamphlet')

diff --git a/src/algebra/boolean.spad.pamphlet b/src/algebra/boolean.spad.pamphlet
index 2ac487e1..08c39765 100644
--- a/src/algebra/boolean.spad.pamphlet
+++ b/src/algebra/boolean.spad.pamphlet
@@ -326,7 +326,7 @@ Boolean(): Join(OrderedFinite, Logic, PropositionalLogic, ConvertibleTo InputFor
     false         == NIL$Foreign(Builtin)
     sample()      == true
     not b         == NOT b
-    ~ b           == (b => false; true)
+    ~ b           == NOT b
     a and b       == AND(a,b)
     a /\ b        == AND(a,b)
     a or b        == OR(a,b)
-- 
cgit v1.2.3