From 8f409fc75c64b9c486ec74419de9785c00629a17 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Tue, 9 Dec 2008 16:14:56 +0000
Subject: 	* algebra/term.spad.pamphlet: New.  Implement Arity and 
 OperatorCategory. 	* algebra/Makefile.pamphlet (axiom_algebra_layer_15):
 Include ARITY. 	(axiom_algebra_layer_16): Include OPERCAT. 	*
 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 42325b06..4193cb77 100644
--- a/src/algebra/exposed.lsp.pamphlet
+++ b/src/algebra/exposed.lsp.pamphlet
@@ -60,6 +60,7 @@
   (|AlgebraGivenByStructuralConstants| . ALGSC)
   (|Any| . ANY)
   (|AnyFunctions1| . ANY1)
+  (|Arity| . ARITY)
   (|ArrayStack| . ASTACK)
   (|AssociatedJordanAlgebra| . JORDAN)
   (|AssociatedLieAlgebra| . LIE)
@@ -703,6 +704,7 @@
   (|OctonionCategory| . OC)
   (|OneDimensionalArrayAggregate| . A1AGG)
   (|OpenMath| . OM)
+  (|OperatorCategory| . OPERCAT)
   (|OrderedAbelianGroup| . OAGROUP)
   (|OrderedAbelianMonoid| . OAMON)
   (|OrderedAbelianMonoidSup| . OAMONS)
-- 
cgit v1.2.3