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/HOAGG.lsp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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

diff --git a/src/algebra/strap/HOAGG.lsp b/src/algebra/strap/HOAGG.lsp
index 44e52b8b..c824102a 100644
--- a/src/algebra/strap/HOAGG.lsp
+++ b/src/algebra/strap/HOAGG.lsp
@@ -6,7 +6,7 @@
 (DEFPARAMETER |HomogeneousAggregate;AL| 'NIL) 
 
 (DEFUN |HomogeneousAggregate;| (|t#1|)
-  (LET ((#0=#:G1398
+  (LET ((#0=#:G1373
             (|sublisV| (PAIR '(|t#1|) (LIST (|devaluate| |t#1|)))
                 (COND
                   (|HomogeneousAggregate;CAT|)
@@ -77,8 +77,8 @@
         (LIST '|HomogeneousAggregate| (|devaluate| |t#1|)))
     #0#)) 
 
-(DEFUN |HomogeneousAggregate| (#0=#:G1399)
-  (LET ((#1=#:G1400
+(DEFUN |HomogeneousAggregate| (#0=#:G1374)
+  (LET ((#1=#:G1375
             (|assoc| (|devaluate| #0#) |HomogeneousAggregate;AL|)))
     (COND
       (#1# (CDR #1#))
-- 
cgit v1.2.3