diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-08-19 09:28:19 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-08-19 09:28:19 +0000 |
| commit | 2b21dbe204cbf48aefdf0f2ac591d4f05722c4df (patch) | |
| tree | d0d404da7bfe9ca5a6d096c708dd180a4c937d63 /src/algebra/complet.spad.pamphlet | |
| parent | 9b0a1395071e204c7f85473809c751e39e5adbb8 (diff) | |
| download | open-axiom-2b21dbe204cbf48aefdf0f2ac591d4f05722c4df.tar.gz | |
* interp/category.boot (mkOr): Taken environment as parameter.
Adjust callers.
(mkOr2): Likewise.
(mkAnd): Likewise.
(mkAnd2): Likewise.
(FindFundAncs): Likewise.
(CatEval): Likewise.
(AncestorP): Likewise.
(CondAncestorP): Likewise.
(DescendantP): Likewise.
* interp/compiler.boot (compMapCond): Likewise.
(compMapCond'): Likewise.
* interp/define.boot (formatPred): Likewise.
(formatInfo): Likewise.
(addInfo): Likewise.
(knownPred): Likewise.
* interp/functor.boot (InvestigateConditions): Likewise.
(ICformat): Likewise.
Diffstat (limited to 'src/algebra/complet.spad.pamphlet')
0 files changed, 0 insertions, 0 deletions