From 77d293322d11ad09575a85f421796da7db471797 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Tue, 29 Jun 2010 16:22:49 +0000
Subject: 	* algebra/catdef.spad.pamphlet (BasicType) [before?]: Declare
 here. 	(OrderedType) [max,min]: Export and provide defaults. 	(OrderedSet):
 Simplify. 	(SetCategory) [before?]: Move to BasicType.

---
 src/algebra/strap/SYMBOL.lsp | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

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

diff --git a/src/algebra/strap/SYMBOL.lsp b/src/algebra/strap/SYMBOL.lsp
index 9f36bb38..0c928c37 100644
--- a/src/algebra/strap/SYMBOL.lsp
+++ b/src/algebra/strap/SYMBOL.lsp
@@ -728,17 +728,18 @@
              |argscript| 600 |OMwrite| 606 >= 630 > 636 = 642 <= 648 <
              654)
           'NIL
-          (CONS (|makeByteWordVec2| 1 '(0 0 0 0 0 0 0 0 0 0 0 0 0))
-                (CONS '#(|OrderedSet&| NIL NIL |SetCategory&|
+          (CONS (|makeByteWordVec2| 1 '(0 0 0 0 0 0 0 0 0 0 0 0 0 0))
+                (CONS '#(NIL NIL NIL |SetCategory&| |OrderedType&|
                          |BasicType&| NIL NIL NIL NIL NIL NIL NIL NIL)
                       (CONS '#((|OrderedSet|) (|PatternMatchable| 70)
                                (|PatternMatchable| 6) (|SetCategory|)
-                               (|BasicType|) (|Type|)
+                               (|OrderedType|) (|BasicType|)
                                (|ConvertibleTo| 72)
                                (|ConvertibleTo| 65)
                                (|CoercibleFrom| 14)
                                (|ConvertibleTo| 25) (|OpenMath|)
-                               (|ConvertibleTo| 46) (|CoercibleTo| 53))
+                               (|ConvertibleTo| 46) (|Type|)
+                               (|CoercibleTo| 53))
                             (|makeByteWordVec2| 164
                                 '(0 6 0 7 1 8 0 6 9 0 11 0 12 1 16 0 15
                                   17 2 26 24 0 25 27 0 28 0 29 2 26 0
-- 
cgit v1.2.3