diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-11-14 02:56:26 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-11-14 02:56:26 +0000 |
| commit | 5f63d42cf83ebce312a44c5d596e85c6ae879ab0 (patch) | |
| tree | bb5c1c4cc55e493d764cc6b4f4f645a4d283f527 /src/input/grpthry.input.pamphlet | |
| parent | 0f0562ca9672568f3f8ca33ec6a17ba64c36c015 (diff) | |
| download | open-axiom-5f63d42cf83ebce312a44c5d596e85c6ae879ab0.tar.gz | |
* interp/category.boot (SigListMember): Remove as deadcode.
(SigEqual): Remove.
(predicateImplies): Rename from PredImplies. Rework it to match
documentation. Adjust callers.
(CondAncestorP): Adjust arguments in call to predicateImplies.
(JoinInner): Likewise.
Diffstat (limited to 'src/input/grpthry.input.pamphlet')
0 files changed, 0 insertions, 0 deletions