From 90dee68c255cd77c5e72fb78da8a02d07e3c1c49 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 20 Nov 2008 07:57:14 +0000
Subject: 	* algebra/coerce.spad.pamphlet (CoercibleFrom): New. 
 (ConvertibleFrom): Likewise. 	(RetractableTo): Use it. 	*
 algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include 	KRCFROM and
 KVTFROM. 	* share/algebra/: Update databases.

---
 src/algebra/strap/INS.lsp | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

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

diff --git a/src/algebra/strap/INS.lsp b/src/algebra/strap/INS.lsp
index af5969d3..ef6261ca 100644
--- a/src/algebra/strap/INS.lsp
+++ b/src/algebra/strap/INS.lsp
@@ -63,7 +63,7 @@
                                      (|Boolean|))
                                    NIL)))
                    |IntegerNumberSystem|)
-        (SETELT #0# 0 '(|IntegerNumberSystem|)))))) 
+        (|setShellEntry| #0# 0 '(|IntegerNumberSystem|)))))) 
 
 (DEFUN |IntegerNumberSystem| ()
   (LET ()
@@ -71,10 +71,4 @@
       (|IntegerNumberSystem;AL|)
       (T (SETQ |IntegerNumberSystem;AL| (|IntegerNumberSystem;|)))))) 
 
-(SETQ |$CategoryFrame|
-      (|put| '|IntegerNumberSystem| '|isCategory| T
-             (|addModemap| '|IntegerNumberSystem|
-                 '(|IntegerNumberSystem|) '((|Category|)) T
-                 '|IntegerNumberSystem| |$CategoryFrame|))) 
-
 (MAKEPROP '|IntegerNumberSystem| 'NILADIC T) 
-- 
cgit v1.2.3