From e51b2aa30afc0e65cca5bfc32d32dd9471fd65ea Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sat, 27 Dec 2008 19:16:40 +0000
Subject: 	* algebra/catdef.spad.pamphlet (OrderedFinite): Export `min'
 and 	`max' values. 	* algebra/si.spad.pamphlet (SingleInteger): Now
 satisfies 	OrderedFinite.  Tidy.

---
 src/algebra/strap/BOOLEAN.lsp | 24 +++++++++++++-----------
 1 file changed, 13 insertions(+), 11 deletions(-)

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

diff --git a/src/algebra/strap/BOOLEAN.lsp b/src/algebra/strap/BOOLEAN.lsp
index d654d918..2b44cfda 100644
--- a/src/algebra/strap/BOOLEAN.lsp
+++ b/src/algebra/strap/BOOLEAN.lsp
@@ -203,10 +203,11 @@
              |BOOLEAN;convert;$If;22| (|OutputForm|) (15 . |message|)
              |BOOLEAN;coerce;$Of;23| (|SingleInteger|))
           '#(~= 20 ~ 26 |xor| 31 |true| 37 |test| 41 |size| 46 |random|
-             50 |or| 54 |not| 60 |nor| 65 |nand| 71 |min| 77 |max| 83
-             |lookup| 89 |latex| 94 |index| 99 |implies| 104 |hash| 110
-             |false| 115 |equiv| 119 |convert| 125 |coerce| 130 |and|
-             135 |\\/| 141 >= 147 > 153 = 159 <= 165 < 171 |/\\| 177)
+             50 |or| 54 |not| 60 |nor| 65 |nand| 71 |min| 77 |max| 87
+             |lookup| 97 |latex| 102 |index| 107 |implies| 112 |hash|
+             118 |false| 123 |equiv| 127 |convert| 133 |coerce| 138
+             |and| 143 |\\/| 149 >= 155 > 161 = 167 <= 173 < 179 |/\\|
+             185)
           'NIL
           (CONS (|makeByteWordVec2| 1 '(0 0 0 0 0 0 0 0 0))
                 (CONS '#(NIL |OrderedSet&| NIL NIL |Logic&|
@@ -221,13 +222,14 @@
                                   35 1 37 0 31 38 2 0 18 0 0 1 1 0 0 0
                                   10 2 0 0 0 0 15 0 0 0 7 1 0 0 0 6 0 0
                                   23 24 0 0 0 30 2 0 0 0 0 13 1 0 0 0 9
-                                  2 0 0 0 0 16 2 0 0 0 0 17 2 0 0 0 0 1
-                                  2 0 0 0 0 1 1 0 27 0 29 1 0 31 0 1 1
-                                  0 0 27 28 2 0 0 0 0 20 1 0 40 0 1 0 0
-                                  0 8 2 0 0 0 0 21 1 0 34 0 36 1 0 37 0
-                                  39 2 0 0 0 0 11 2 0 0 0 0 14 2 0 18 0
-                                  0 1 2 0 18 0 0 1 2 0 18 0 0 19 2 0 18
-                                  0 0 1 2 0 18 0 0 22 2 0 0 0 0 12)))))
+                                  2 0 0 0 0 16 2 0 0 0 0 17 0 0 0 1 2 0
+                                  0 0 0 1 0 0 0 1 2 0 0 0 0 1 1 0 27 0
+                                  29 1 0 31 0 1 1 0 0 27 28 2 0 0 0 0
+                                  20 1 0 40 0 1 0 0 0 8 2 0 0 0 0 21 1
+                                  0 34 0 36 1 0 37 0 39 2 0 0 0 0 11 2
+                                  0 0 0 0 14 2 0 18 0 0 1 2 0 18 0 0 1
+                                  2 0 18 0 0 19 2 0 18 0 0 1 2 0 18 0 0
+                                  22 2 0 0 0 0 12)))))
           '|lookupComplete|)) 
 
 (MAKEPROP '|Boolean| 'NILADIC T) 
-- 
cgit v1.2.3