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/ABELSG-.lsp | 17 -----------------
 1 file changed, 17 deletions(-)

(limited to 'src/algebra/strap/ABELSG-.lsp')

diff --git a/src/algebra/strap/ABELSG-.lsp b/src/algebra/strap/ABELSG-.lsp
index a248d398..9391dd77 100644
--- a/src/algebra/strap/ABELSG-.lsp
+++ b/src/algebra/strap/ABELSG-.lsp
@@ -38,20 +38,3 @@
                                 '(2 8 6 7 6 9 2 0 0 7 0 10 2 0 0 7 0
                                   10)))))
           '|lookupComplete|)) 
-
-(SETQ |$CategoryFrame|
-      (|put| '|AbelianSemiGroup&| '|isFunctor|
-             '(((* ($ (|PositiveInteger|) $)) T (ELT $ 10)))
-             (|addModemap| '|AbelianSemiGroup&|
-                 '(|AbelianSemiGroup&| |#1|)
-                 '((CATEGORY |domain|
-                       (SIGNATURE * (|#1| (|PositiveInteger|) |#1|)))
-                   (|AbelianSemiGroup|))
-                 T '|AbelianSemiGroup&|
-                 (|put| '|AbelianSemiGroup&| '|mode|
-                        '(|Mapping|
-                             (CATEGORY |domain|
-                                 (SIGNATURE *
-                                     (|#1| (|PositiveInteger|) |#1|)))
-                             (|AbelianSemiGroup|))
-                        |$CategoryFrame|)))) 
-- 
cgit v1.2.3