From fcf66dc98318f5ced7ba150f04aef50b69d8cd48 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Wed, 27 Oct 2010 10:34:30 +0000 Subject: * algebra/boolean.spad.pamphlet (BooleanLogic): Extends Logic. --- 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 07f77df8..7c77b8de 100644 --- a/src/algebra/Makefile.pamphlet +++ b/src/algebra/Makefile.pamphlet @@ -353,7 +353,7 @@ $(OUT)/IEVALAB.$(FASLEXT) $(OUT)/IEVALAB-.$(FASLEXT): \ $(OUT)/EVALAB.$(FASLEXT) $(OUT)/EVALAB-.$(FASLEXT): \ $(OUT)/IEVALAB.$(FASLEXT) -$(OUT)/BOOLE.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) +$(OUT)/BOOLE.$(FASLEXT): $(OUT)/LOGIC.$(FASLEXT) $(OUT)/PROPLOG.$(FASLEXT): $(OUT)/BOOLE.$(FASLEXT) $(OUT)/SETCAT.$(FASLEXT) $(OUT)/MAYBE.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) $(OUT)/RETRACT.$(FASLEXT) -- cgit v1.2.3