From 87f397a2fabcf265efb39d1be4c2b87633579e19 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 20 Nov 2008 18:18:10 +0000
Subject: 	* algebra/coerce.spad.pamphlet (HomotopicTo): New. 	*
 algebra/exposed.lsp.pamphlet: Expose it. 	* algebra/Makefile.pamphlet
 (axiom_algebra_layer_1): Include HOMOTOP.

---
 src/algebra/exposed.lsp.pamphlet | 1 +
 1 file changed, 1 insertion(+)

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

diff --git a/src/algebra/exposed.lsp.pamphlet b/src/algebra/exposed.lsp.pamphlet
index f0cf420e..42325b06 100644
--- a/src/algebra/exposed.lsp.pamphlet
+++ b/src/algebra/exposed.lsp.pamphlet
@@ -663,6 +663,7 @@
   (|GradedModule| . GRMOD)
   (|Group| . GROUP)
   (|HomogeneousAggregate| . HOAGG)
+  (|HomotopicTo| . HOMOTOP)
   (|HyperbolicFunctionCategory| . HYPCAT)
   (|IndexedAggregate| . IXAGG)
   (|IndexedDirectProductCategory| . IDPC)
-- 
cgit v1.2.3