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/MTSCAT.lsp | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

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

diff --git a/src/algebra/strap/MTSCAT.lsp b/src/algebra/strap/MTSCAT.lsp
index 72955375..56b20cbe 100644
--- a/src/algebra/strap/MTSCAT.lsp
+++ b/src/algebra/strap/MTSCAT.lsp
@@ -6,12 +6,12 @@
 (DEFPARAMETER |MultivariateTaylorSeriesCategory;AL| 'NIL) 
 
 (DEFUN |MultivariateTaylorSeriesCategory;| (|t#1| |t#2|)
-  (LET ((#0=#:G1399
+  (LET ((#0=#:G1374
             (|sublisV|
                 (PAIR '(|t#1| |t#2|)
                       (LIST (|devaluate| |t#1|) (|devaluate| |t#2|)))
                 (|sublisV|
-                    (PAIR '(#1=#:G1398)
+                    (PAIR '(#1=#:G1373)
                           (LIST '(|IndexedExponents| |t#2|)))
                     (COND
                       (|MultivariateTaylorSeriesCategory;CAT|)
@@ -87,9 +87,9 @@
     #0#)) 
 
 (DEFUN |MultivariateTaylorSeriesCategory|
-       (&REST #0=#:G1402 &AUX #1=#:G1400)
+       (&REST #0=#:G1377 &AUX #1=#:G1375)
   (DSETQ #1# #0#)
-  (LET ((#2=#:G1401
+  (LET ((#2=#:G1376
             (|assoc| (|devaluateList| #1#)
                      |MultivariateTaylorSeriesCategory;AL|)))
     (COND
-- 
cgit v1.2.3