From 70462ce64473329cbb0108e4bde18bb797196f99 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 21 Sep 2008 05:21:05 +0000
Subject: 	* algebra/boolean.spad.pamphlet (Boolean): Now belong to 
 OrderedFinite.

---
 src/algebra/strap/BOOLEAN.lsp | 19 ++++++++++---------
 1 file changed, 10 insertions(+), 9 deletions(-)

(limited to 'src/algebra/strap/BOOLEAN.lsp')

diff --git a/src/algebra/strap/BOOLEAN.lsp b/src/algebra/strap/BOOLEAN.lsp
index ebdb87c8..39b700a3 100644
--- a/src/algebra/strap/BOOLEAN.lsp
+++ b/src/algebra/strap/BOOLEAN.lsp
@@ -128,12 +128,13 @@
              |false| 115 |equiv| 119 |convert| 125 |coerce| 130 |and|
              135 |\\/| 141 >= 147 > 153 = 159 <= 165 < 171 |/\\| 177)
           'NIL
-          (CONS (|makeByteWordVec2| 1 '(0 0 0 0 0 0 0 0))
-                (CONS '#(|OrderedSet&| NIL |Logic&| |SetCategory&| NIL
-                         NIL |BasicType&| NIL)
-                      (CONS '#((|OrderedSet|) (|Finite|) (|Logic|)
-                               (|SetCategory|) (|ConvertibleTo| 34)
-                               (|PropositionalLogic|) (|BasicType|)
+          (CONS (|makeByteWordVec2| 1 '(0 0 0 0 0 0 0 0 0))
+                (CONS '#(NIL |OrderedSet&| NIL NIL |Logic&|
+                         |SetCategory&| NIL |BasicType&| NIL)
+                      (CONS '#((|OrderedFinite|) (|OrderedSet|)
+                               (|PropositionalLogic|) (|Finite|)
+                               (|Logic|) (|SetCategory|)
+                               (|ConvertibleTo| 34) (|BasicType|)
                                (|CoercibleTo| 37))
                             (|makeByteWordVec2| 40
                                 '(1 25 18 0 26 1 32 0 31 33 1 34 0 32
@@ -181,7 +182,7 @@
                ((= ((|Boolean|) $ $)) T (ELT $ 19))
                ((~= ((|Boolean|) $ $)) T (ELT $ NIL)))
              (|addModemap| '|Boolean| '(|Boolean|)
-                 '((|Join| (|OrderedSet|) (|Finite|) (|Logic|)
+                 '((|Join| (|OrderedFinite|) (|Logic|)
                            (|PropositionalLogic|)
                            (|ConvertibleTo| (|InputForm|))
                            (CATEGORY |domain|
@@ -194,8 +195,8 @@
                  T '|Boolean|
                  (|put| '|Boolean| '|mode|
                         '(|Mapping|
-                             (|Join| (|OrderedSet|) (|Finite|)
-                                     (|Logic|) (|PropositionalLogic|)
+                             (|Join| (|OrderedFinite|) (|Logic|)
+                                     (|PropositionalLogic|)
                                      (|ConvertibleTo| (|InputForm|))
                                      (CATEGORY |domain|
                                       (SIGNATURE |true| ($) |constant|)
-- 
cgit v1.2.3