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

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

diff --git a/src/algebra/strap/ABELMON.lsp b/src/algebra/strap/ABELMON.lsp
index f0eaa266..af28662b 100644
--- a/src/algebra/strap/ABELMON.lsp
+++ b/src/algebra/strap/ABELMON.lsp
@@ -17,7 +17,7 @@
                                '((|NonNegativeInteger|) (|Boolean|))
                                NIL))
                    |AbelianMonoid|)
-        (SETELT #0# 0 '(|AbelianMonoid|)))))) 
+        (|setShellEntry| #0# 0 '(|AbelianMonoid|)))))) 
 
 (DEFUN |AbelianMonoid| ()
   (LET ()
@@ -25,9 +25,4 @@
       (|AbelianMonoid;AL|)
       (T (SETQ |AbelianMonoid;AL| (|AbelianMonoid;|)))))) 
 
-(SETQ |$CategoryFrame|
-      (|put| '|AbelianMonoid| '|isCategory| T
-             (|addModemap| '|AbelianMonoid| '(|AbelianMonoid|)
-                 '((|Category|)) T '|AbelianMonoid| |$CategoryFrame|))) 
-
 (MAKEPROP '|AbelianMonoid| 'NILADIC T) 
-- 
cgit v1.2.3