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

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

diff --git a/src/algebra/strap/CABMON.lsp b/src/algebra/strap/CABMON.lsp
index a95397c0..11a8f26a 100644
--- a/src/algebra/strap/CABMON.lsp
+++ b/src/algebra/strap/CABMON.lsp
@@ -14,7 +14,7 @@
                                   T))
                                NIL 'NIL NIL))
                    |CancellationAbelianMonoid|)
-        (SETELT #0# 0 '(|CancellationAbelianMonoid|)))))) 
+        (|setShellEntry| #0# 0 '(|CancellationAbelianMonoid|)))))) 
 
 (DEFUN |CancellationAbelianMonoid| ()
   (LET ()
@@ -23,10 +23,4 @@
       (T (SETQ |CancellationAbelianMonoid;AL|
                (|CancellationAbelianMonoid;|)))))) 
 
-(SETQ |$CategoryFrame|
-      (|put| '|CancellationAbelianMonoid| '|isCategory| T
-             (|addModemap| '|CancellationAbelianMonoid|
-                 '(|CancellationAbelianMonoid|) '((|Category|)) T
-                 '|CancellationAbelianMonoid| |$CategoryFrame|))) 
-
 (MAKEPROP '|CancellationAbelianMonoid| 'NILADIC T) 
-- 
cgit v1.2.3