diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-02-20 03:14:41 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-02-20 03:14:41 +0000 |
| commit | 7d15f46553324afd01352f85a6b6f57f259fd64a (patch) | |
| tree | f81fe153d90c829c890d3bf506bb5ebe4ba089e2 /src/algebra | |
| parent | f6e5de243353518085fbd39be9daef1f121a96e3 (diff) | |
| download | open-axiom-7d15f46553324afd01352f85a6b6f57f259fd64a.tar.gz | |
small cleanups
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/catdef.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/catdef.spad.pamphlet b/src/algebra/catdef.spad.pamphlet index f16ebd14..d5992ab2 100644 --- a/src/algebra/catdef.spad.pamphlet +++ b/src/algebra/catdef.spad.pamphlet @@ -272,7 +272,7 @@ OrderedType(): Category == BasicType with x > y == y < x x <= y == not(y < x) x >= y == not(x < y) - x = y == not(x < y) and not(y < x) + x = y == not(x < y or y < x) max(x,y) == x < y => y x |