diff options
author | dos-reis <gdr@axiomatics.org> | 2010-06-29 16:22:49 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-06-29 16:22:49 +0000 |
commit | 77d293322d11ad09575a85f421796da7db471797 (patch) | |
tree | 1a8fc1949f2f9f1b443f3719efabf81147647eb9 /src/input/function.input.pamphlet | |
parent | ab71577ecf6a2523916d2e7fa1510d3153f758d6 (diff) | |
download | open-axiom-77d293322d11ad09575a85f421796da7db471797.tar.gz |
* algebra/catdef.spad.pamphlet (BasicType) [before?]: Declare here.
(OrderedType) [max,min]: Export and provide defaults.
(OrderedSet): Simplify.
(SetCategory) [before?]: Move to BasicType.
Diffstat (limited to 'src/input/function.input.pamphlet')
0 files changed, 0 insertions, 0 deletions