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

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

diff --git a/src/algebra/strap/ES.lsp b/src/algebra/strap/ES.lsp
index 757ce9e6..5199b94c 100644
--- a/src/algebra/strap/ES.lsp
+++ b/src/algebra/strap/ES.lsp
@@ -144,7 +144,7 @@
                                      (|Equation| $))
                                    NIL)))
                    |ExpressionSpace|)
-        (SETELT #0# 0 '(|ExpressionSpace|)))))) 
+        (|setShellEntry| #0# 0 '(|ExpressionSpace|)))))) 
 
 (DEFUN |ExpressionSpace| ()
   (LET ()
@@ -152,9 +152,4 @@
       (|ExpressionSpace;AL|)
       (T (SETQ |ExpressionSpace;AL| (|ExpressionSpace;|)))))) 
 
-(SETQ |$CategoryFrame|
-      (|put| '|ExpressionSpace| '|isCategory| T
-             (|addModemap| '|ExpressionSpace| '(|ExpressionSpace|)
-                 '((|Category|)) T '|ExpressionSpace| |$CategoryFrame|))) 
-
 (MAKEPROP '|ExpressionSpace| 'NILADIC T) 
-- 
cgit v1.2.3