From 0e6d0cdde92747cc02d9965eef8ef1edc31cb1ae Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 28 May 2009 16:54:19 +0000
Subject: 	* algebra/boolean.spad.pamphlet (PropositionalLogic): Now
 export 	`true' and `false'. 	(Boolean): Ihenrit them.

---
 src/algebra/boolean.spad.pamphlet | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

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

diff --git a/src/algebra/boolean.spad.pamphlet b/src/algebra/boolean.spad.pamphlet
index 0c9adbc6..f7cc1e9a 100644
--- a/src/algebra/boolean.spad.pamphlet
+++ b/src/algebra/boolean.spad.pamphlet
@@ -21,6 +21,10 @@
 ++ Description: This category declares the connectives of
 ++ Propositional Logic.
 PropositionalLogic(): Category == SetCategory with
+  true: %
+    ++ true is a logical constant.
+  false: %
+    ++ false is a logical constant.
   not: % -> %
     ++ not p returns the logical negation of `p'.
   and: (%, %) -> %
@@ -301,10 +305,6 @@ Logic: Category == BasicType with
 ++ true and false
 
 Boolean(): Join(OrderedFinite, Logic, PropositionalLogic, ConvertibleTo InputForm) with
-    true: %
-      ++ true is a logical constant.
-    false: %
-      ++ false is a logical constant.
     xor    : (%, %) -> %
       ++ xor(a,b) returns the logical exclusive {\em or}
       ++ of Boolean \spad{a} and b.
-- 
cgit v1.2.3