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/exposed.lsp.pamphlet | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/algebra/exposed.lsp.pamphlet')

diff --git a/src/algebra/exposed.lsp.pamphlet b/src/algebra/exposed.lsp.pamphlet
index 4b434a9d..f0cf420e 100644
--- a/src/algebra/exposed.lsp.pamphlet
+++ b/src/algebra/exposed.lsp.pamphlet
@@ -603,6 +603,7 @@
   (|CancellationAbelianMonoid| . CABMON)
   (|CharacteristicNonZero| . CHARNZ)
   (|CharacteristicZero| . CHARZ)
+  (|CoercibleFrom| . KRCFROM)
   (|CoercibleTo| . KOERCE)
   (|Collection| . CLAGG)
   (|CombinatorialFunctionCategory| . CFCAT)
@@ -610,6 +611,7 @@
   (|CommutativeRing| . COMRING)
   (|ComplexCategory| . COMPCAT)
   (|Conduit| . CONDUIT)
+  (|ConvertibleFrom| . KVTFROM)
   (|ConvertibleTo| . KONVERT)
   (|DequeueAggregate| . DQAGG)
   (|Dictionary| . DIAGG)
-- 
cgit v1.2.3