From 88431a10d86db0b69fb67339dcacf088d005482b Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Wed, 27 Oct 2010 08:36:45 +0000
Subject: 	* algebra/boolean.spad.pamphlet (Logic): Now extend Type.

---
 src/algebra/strap/URAGG.lsp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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

diff --git a/src/algebra/strap/URAGG.lsp b/src/algebra/strap/URAGG.lsp
index 60a22e5a..f43f88c7 100644
--- a/src/algebra/strap/URAGG.lsp
+++ b/src/algebra/strap/URAGG.lsp
@@ -6,7 +6,7 @@
 (DEFPARAMETER |UnaryRecursiveAggregate;AL| 'NIL) 
 
 (DEFUN |UnaryRecursiveAggregate;| (|t#1|)
-  (LET ((#0=#:G1425
+  (LET ((#0=#:G1400
             (|sublisV| (PAIR '(|t#1|) (LIST (|devaluate| |t#1|)))
                 (COND
                   (|UnaryRecursiveAggregate;CAT|)
@@ -78,8 +78,8 @@
         (LIST '|UnaryRecursiveAggregate| (|devaluate| |t#1|)))
     #0#)) 
 
-(DEFUN |UnaryRecursiveAggregate| (#0=#:G1426)
-  (LET ((#1=#:G1427
+(DEFUN |UnaryRecursiveAggregate| (#0=#:G1401)
+  (LET ((#1=#:G1402
             (|assoc| (|devaluate| #0#) |UnaryRecursiveAggregate;AL|)))
     (COND
       (#1# (CDR #1#))
-- 
cgit v1.2.3