From f2ed2477feacf51988c6bfd96b487d7261267a28 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Wed, 16 Jan 2008 04:07:53 +0000
Subject: 	* algebra/boolean.spad.pamphlet (PropositionalLogic): New
 category. 	(Boolean): Assert as belonging to PropositionalLogic. 	Update
 cached Lisp translation. 	* algebra/Makefile.pamphlet
 (axiom_algebra_layer_0): Add 	PROPLOG.o 	* src/algebra: Update
 databases.

---
 src/algebra/Makefile.pamphlet | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/algebra/Makefile.pamphlet')

diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet
index 45f1f2bd..70a3f05c 100644
--- a/src/algebra/Makefile.pamphlet
+++ b/src/algebra/Makefile.pamphlet
@@ -205,7 +205,7 @@ axiom_algebra_layer_0 = \
   KOERCE.o  KONVERT.o MSYSCMD.o ODEIFTBL.o \
   OM.o      OMCONN.o  OMDEV.o   OUT.o      \
   PRIMCAT.o PRINT.o   PTRANFN.o SPFCAT.o   \
-  TYPE.o    UTYPE.o
+  TYPE.o    UTYPE.o   PROPLOG.o
 
 axiom_algebra_layer_0_nrlibs = \
 	$(axiom_algebra_layer_0:.$(OBJEXT)=.NRLIB/code.$(OBJEXT))
-- 
cgit v1.2.3