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

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

diff --git a/src/algebra/strap/INS.lsp b/src/algebra/strap/INS.lsp
index 41a8e7d7..fd51e855 100644
--- a/src/algebra/strap/INS.lsp
+++ b/src/algebra/strap/INS.lsp
@@ -4,10 +4,10 @@
 (DEFPARAMETER |IntegerNumberSystem;AL| 'NIL) 
 
 (DEFUN |IntegerNumberSystem;| ()
-  (LET ((#0=#:G1414
+  (LET ((#0=#:G1389
             (|sublisV|
-                (PAIR '(#1=#:G1408 #2=#:G1409 #3=#:G1410 #4=#:G1411
-                           #5=#:G1412 #6=#:G1413)
+                (PAIR '(#1=#:G1383 #2=#:G1384 #3=#:G1385 #4=#:G1386
+                           #5=#:G1387 #6=#:G1388)
                       (LIST '(|Integer|) '(|Integer|) '(|Integer|)
                             '(|InputForm|) '(|Pattern| (|Integer|))
                             '(|Integer|)))
-- 
cgit v1.2.3