diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-04-04 17:20:33 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-04-04 17:20:33 +0000 |
| commit | ae3725b1b6208264518fbcd4d7adadd68978d26f (patch) | |
| tree | 5d54b04001178fdfbf0eaa4a5031658e092d2aa2 /src/algebra/Makefile.pamphlet | |
| parent | da7d92d632deab11bb2c93a9b51dc4972707003d (diff) | |
| download | open-axiom-ae3725b1b6208264518fbcd4d7adadd68978d26f.tar.gz | |
* algebra/boolean.spad.pamphlet (BooleanLogic): New.
(PropositionalLogic): Extend it.
* algebra/aggcat.spad.pamphlet (BitAggregate): Likewise.
* algebra/si.spad.pamphlet (SingleInteger): Assert membership to
BooleanLogic.
Diffstat (limited to 'src/algebra/Makefile.pamphlet')
| -rw-r--r-- | src/algebra/Makefile.pamphlet | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet index 11c6399e..980260a2 100644 --- a/src/algebra/Makefile.pamphlet +++ b/src/algebra/Makefile.pamphlet @@ -331,7 +331,8 @@ $(OUT)/IEVALAB.$(FASLEXT) $(OUT)/IEVALAB-.$(FASLEXT): \ $(OUT)/EVALAB.$(FASLEXT) $(OUT)/EVALAB-.$(FASLEXT): \ $(OUT)/IEVALAB.$(FASLEXT) -$(OUT)/PROPLOG.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) +$(OUT)/BOOLE.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) +$(OUT)/PROPLOG.$(FASLEXT): $(OUT)/BOOLE.$(FASLEXT) $(OUT)/SETCAT.$(FASLEXT) $(OUT)/MAYBE.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) $(OUT)/RETRACT.$(FASLEXT) @@ -375,7 +376,7 @@ axiom_algebra_layer_1 = \ IDENT SEGCAT BINDING ALIST BOOLEAN PRIMARR \ ORDRING ORDRING- FEVALAB FEVALAB- \ OSGROUP MAYBE DATAARY PROPLOG HOMOTOP BYTEORD \ - FIELD FIELD- VECTCAT VECTCAT- IARRAY1 \ + FIELD FIELD- VECTCAT VECTCAT- IARRAY1 BOOLE \ PROPERTY ARITY OPERCAT OPERCAT- axiom_algebra_layer_1_nrlibs = \ @@ -585,6 +586,7 @@ $(OUT)/RMATCAT.$(FASLEXT): $(OUT)/DIRPROD.$(FASLEXT) $(OUT)/DIRPROD.$(FASLEXT): $(OUT)/DIRPCAT.$(FASLEXT) $(OUT)/DIRPCAT.$(FASLEXT): $(OUT)/VSPACE.$(FASLEXT) $(OUT)/IVECTOR.$(FASLEXT) $(OUT)/MATRIX.$(FASLEXT): $(OUT)/MATCAT.$(FASLEXT) +$(OUT)/BTAGG.$(FASLEXT): $(OUT)/BOOLE.$(FASLEXT) axiom_algebra_layer_10 = \ RESULT BFUNCT BPADIC ANY \ |