From fcf66dc98318f5ced7ba150f04aef50b69d8cd48 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Wed, 27 Oct 2010 10:34:30 +0000
Subject: 	* algebra/boolean.spad.pamphlet (BooleanLogic): Extends Logic.

---
 src/algebra/strap/BOOLEAN.lsp |  9 +++++----
 src/algebra/strap/SINT.lsp    | 14 ++++++--------
 2 files changed, 11 insertions(+), 12 deletions(-)

(limited to 'src/algebra/strap')

diff --git a/src/algebra/strap/BOOLEAN.lsp b/src/algebra/strap/BOOLEAN.lsp
index 30c0079c..370802b3 100644
--- a/src/algebra/strap/BOOLEAN.lsp
+++ b/src/algebra/strap/BOOLEAN.lsp
@@ -197,12 +197,13 @@
              172 < 178 |/\\| 184)
           'NIL
           (CONS (|makeByteWordVec2| 1 '(0 0 0 0 0 0 0 0 0 0 0 0))
-                (CONS '#(NIL NIL NIL NIL |SetCategory&| |OrderedType&|
-                         NIL |Logic&| |BasicType&| NIL NIL NIL)
+                (CONS '#(NIL NIL NIL NIL NIL |SetCategory&|
+                         |OrderedType&| |Logic&| |BasicType&| NIL NIL
+                         NIL)
                       (CONS '#((|OrderedFinite|) (|OrderedSet|)
                                (|PropositionalLogic|) (|Finite|)
-                               (|SetCategory|) (|OrderedType|)
-                               (|BooleanLogic|) (|Logic|) (|BasicType|)
+                               (|BooleanLogic|) (|SetCategory|)
+                               (|OrderedType|) (|Logic|) (|BasicType|)
                                (|ConvertibleTo| 33) (|Type|)
                                (|CoercibleTo| 35))
                             (|makeByteWordVec2| 38
diff --git a/src/algebra/strap/SINT.lsp b/src/algebra/strap/SINT.lsp
index fa11e006..e6b37647 100644
--- a/src/algebra/strap/SINT.lsp
+++ b/src/algebra/strap/SINT.lsp
@@ -627,12 +627,11 @@
                          |Ring&| NIL NIL NIL NIL NIL NIL
                          |AbelianGroup&| NIL NIL NIL NIL NIL
                          |AbelianMonoid&| |Monoid&| NIL NIL NIL NIL NIL
-                         NIL |AbelianSemiGroup&| |SemiGroup&| NIL
+                         NIL |AbelianSemiGroup&| |SemiGroup&| NIL NIL
                          |DifferentialSpace&| |OrderedType&|
-                         |SetCategory&| |Logic&| NIL NIL
-                         |RetractableTo&| |DifferentialDomain&|
-                         |BasicType&| NIL NIL NIL NIL NIL NIL NIL NIL
-                         NIL NIL NIL)
+                         |SetCategory&| |Logic&| NIL |RetractableTo&|
+                         |DifferentialDomain&| |BasicType&| NIL NIL NIL
+                         NIL NIL NIL NIL NIL NIL NIL NIL)
                       (CONS '#((|IntegerNumberSystem|)
                                (|EuclideanDomain|)
                                (|UniqueFactorizationDomain|)
@@ -660,11 +659,10 @@
                                (|LeftLinearSet| $$)
                                (|RightLinearSet| $$)
                                (|AbelianSemiGroup|) (|SemiGroup|)
-                               (|LeftLinearSet| 5)
+                               (|LeftLinearSet| 5) (|BooleanLogic|)
                                (|DifferentialSpace|) (|OrderedType|)
                                (|SetCategory|) (|Logic|)
-                               (|BooleanLogic|) (|RealConstant|)
-                               (|RetractableTo| 5)
+                               (|RealConstant|) (|RetractableTo| 5)
                                (|DifferentialDomain| $$) (|BasicType|)
                                (|OpenMath|) (|ConvertibleTo| 100)
                                (|ConvertibleTo| 101)
-- 
cgit v1.2.3