From da7d92d632deab11bb2c93a9b51dc4972707003d Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 4 Apr 2010 13:35:35 +0000
Subject: 	* algebra/boolean.spad.pamphlet
 (PropositionalFormulaFunctions1): New. 
 (PropositionalFormulaFunctions2): Likewise.

---
 src/algebra/Makefile.pamphlet | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

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

diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet
index ddbb379c..11c6399e 100644
--- a/src/algebra/Makefile.pamphlet
+++ b/src/algebra/Makefile.pamphlet
@@ -481,15 +481,17 @@ axiom_algebra_layer_5_objects = \
 <<layer6>>=
 
 $(OUT)/CHARPOL.$(FASLEXT): $(OUT)/SETCAT-.$(FASLEXT)
-$(OUT)PROPFRML.$(FASLEXT): $(OUT)/KERNEL.$(FASLEXT)
+$(OUT)/PROPFRML.$(FASLEXT): $(OUT)/KERNEL.$(FASLEXT)
 $(OUT)/KTVLOGIC.$(FASLEXT): $(OUT)/PROPLOG.$(FASLEXT) $(OUT)/BYTE.$(FASLEXT)
+$(OUT)/PROPFUN1.$(FASLEXT): $(OUT)/PROPFRML.$(FASLEXT)
+$(OUT)/PROPFUN2.$(FASLEXT): $(OUT)/PROPFRML.$(FASLEXT)
 
 axiom_algebra_layer_6 = \
-  PROPFRML         AUTOMOR  CARTEN2 CHARPOL  COMPLEX2 \
-  DIFEXT  DIFEXT-  ES1      ES2     GRMOD    GRMOD-   \
-  HYPCAT  HYPCAT-           MODRING NASRING  NASRING- \
-  SORTPAK ZMOD                                        \
-  KTVLOGIC         OAMONS   BYTE    SYSINT   SYSNNI
+  PROPFRML PROPFUN1 AUTOMOR  CARTEN2 CHARPOL  COMPLEX2 \
+  DIFEXT   DIFEXT-  ES1      ES2     GRMOD    GRMOD-   \
+  HYPCAT   HYPCAT-           MODRING NASRING  NASRING- \
+  SORTPAK  ZMOD     PROPFUN2                           \
+  KTVLOGIC          OAMONS   BYTE    SYSINT   SYSNNI
 
 axiom_algebra_layer_6_nrlibs = \
 	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_6))
-- 
cgit v1.2.3