diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-06-17 02:36:50 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-06-17 02:36:50 +0000 |
| commit | 4c62f989b0c11eb9d3e6c04d966d108fd842fe5d (patch) | |
| tree | 58d7faf9768f563e092598279e4f19e1291dbdf4 /src/testsuite/compiler/aw-420.spad | |
| parent | 5b0bfceb3efc34578e1de66194b835bb48009466 (diff) | |
| download | open-axiom-4c62f989b0c11eb9d3e6c04d966d108fd842fe5d.tar.gz | |
* algebra/catdef.spad.pamphlet (LeftLinearSet): Weaken requirement
on argument.
(RightLinearSet): Likewise.
(LinearSet): Likewise.
Diffstat (limited to 'src/testsuite/compiler/aw-420.spad')
0 files changed, 0 insertions, 0 deletions