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 /contrib | |
| 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 'contrib')
0 files changed, 0 insertions, 0 deletions