From 29a86fd35e276f539534ed9a083ff7526cbb7d24 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 4 Apr 2010 18:03:22 +0000
Subject: 	* algebra/boolean.spad.pamphlet (BooleanLogic): New. 
 (PropositionalLogic): Extend it. 	* algebra/aggcat.spad.pamphlet
 (BitAggregate): Likewise. 	* algebra/si.spad.pamphlet (SingleInteger):
 Assert membership to 	BooleanLogic.

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

(limited to 'src')

diff --git a/src/algebra/exposed.lsp.pamphlet b/src/algebra/exposed.lsp.pamphlet
index c0a74e16..dcc9d64c 100644
--- a/src/algebra/exposed.lsp.pamphlet
+++ b/src/algebra/exposed.lsp.pamphlet
@@ -84,6 +84,7 @@
   (|CartesianTensor| . CARTEN)
   (|CartesianTensorFunctions2| . CARTEN2)
   (|CaseAst| . CASEAST)
+  (|Category| . CATEGORY)
   (|CategoryAst| . CATAST)
   (|Character| . CHAR)
   (|CharacterClass| . CCLASS)
-- 
cgit v1.2.3