From 5687e549faf2a00133c91dd21b48d876e0e2c449 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sat, 11 Oct 2008 21:16:28 +0000
Subject: Update algebra bootstrap cache.

---
 src/algebra/strap/TSETCAT.lsp | 32 ++++++++++++++++----------------
 1 file changed, 16 insertions(+), 16 deletions(-)

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

diff --git a/src/algebra/strap/TSETCAT.lsp b/src/algebra/strap/TSETCAT.lsp
index a99c4402..12fb6a33 100644
--- a/src/algebra/strap/TSETCAT.lsp
+++ b/src/algebra/strap/TSETCAT.lsp
@@ -5,23 +5,8 @@
 
 (DEFPARAMETER |TriangularSetCategory;AL| 'NIL) 
 
-(DEFUN |TriangularSetCategory| (&REST #0=#:G1448 &AUX #1=#:G1446)
-  (DSETQ #1# #0#)
-  (LET (#2=#:G1447)
-    (COND
-      ((SETQ #2#
-             (|assoc| (|devaluateList| #1#) |TriangularSetCategory;AL|))
-       (CDR #2#))
-      (T (SETQ |TriangularSetCategory;AL|
-               (|cons5| (CONS (|devaluateList| #1#)
-                              (SETQ #2#
-                                    (APPLY #'|TriangularSetCategory;|
-                                     #1#)))
-                        |TriangularSetCategory;AL|))
-         #2#)))) 
-
 (DEFUN |TriangularSetCategory;| (|t#1| |t#2| |t#3| |t#4|)
-  (PROG (#0=#:G1445)
+  (PROG (#0=#:G1448)
     (RETURN
       (PROG1 (LETT #0#
                    (|sublisV|
@@ -199,6 +184,21 @@
                       (|devaluate| |t#2|) (|devaluate| |t#3|)
                       (|devaluate| |t#4|))))))) 
 
+(DEFUN |TriangularSetCategory| (&REST #0=#:G1451 &AUX #1=#:G1449)
+  (DSETQ #1# #0#)
+  (LET (#2=#:G1450)
+    (COND
+      ((SETQ #2#
+             (|assoc| (|devaluateList| #1#) |TriangularSetCategory;AL|))
+       (CDR #2#))
+      (T (SETQ |TriangularSetCategory;AL|
+               (|cons5| (CONS (|devaluateList| #1#)
+                              (SETQ #2#
+                                    (APPLY #'|TriangularSetCategory;|
+                                     #1#)))
+                        |TriangularSetCategory;AL|))
+         #2#)))) 
+
 (SETQ |$CategoryFrame|
       (|put| '|TriangularSetCategory| '|isCategory| T
              (|addModemap| '|TriangularSetCategory|
-- 
cgit v1.2.3