diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-11-14 09:10:24 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-11-14 09:10:24 +0000 |
| commit | 8d5fe26df40ed62aa60ec078858ed184bb0a82fb (patch) | |
| tree | c428a5b67d00f64ced5b3e0497279dfbca364aa2 /src/input/ecfact.as.pamphlet | |
| parent | 12a65643579cab809e4a7c95f6ebc9124da4bf3f (diff) | |
| download | open-axiom-8d5fe26df40ed62aa60ec078858ed184bb0a82fb.tar.gz | |
* interp/category.boot ($NewCatVec): Remove.
(SigListUnion): Take the principal ancestor
as third argument. Use it instead of $NewCatVec. Adjust caller.
(JoinInner): Do not bind $NewCatVec. Introduce local variable
principal. Tidy.
Diffstat (limited to 'src/input/ecfact.as.pamphlet')
0 files changed, 0 insertions, 0 deletions