diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-06-03 10:01:32 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-06-03 10:01:32 +0000 |
| commit | c9d86f3d7a1bd950ee0d04aacd3eadcdd5bb7361 (patch) | |
| tree | 34a2f30611a5efcdaf2c18cb30382e3512e15f22 /src/algebra/catdef.spad.pamphlet | |
| parent | 6ee2b7e330751ab22c70d3abbef9e9523fa86036 (diff) | |
| download | open-axiom-c9d86f3d7a1bd950ee0d04aacd3eadcdd5bb7361.tar.gz | |
* interp/comp.lisp (|compAndDefine|): Move to interp/compiler.boot
(COMP): Likewise.
(|compQuietly|): Likewise.
(|compileQuietly|): Likewise.
(COMP-1): Likewise.
Diffstat (limited to 'src/algebra/catdef.spad.pamphlet')
| -rw-r--r-- | src/algebra/catdef.spad.pamphlet | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/algebra/catdef.spad.pamphlet b/src/algebra/catdef.spad.pamphlet index 1bb9eabc..75c43cae 100644 --- a/src/algebra/catdef.spad.pamphlet +++ b/src/algebra/catdef.spad.pamphlet @@ -2931,7 +2931,6 @@ OrderedAbelianSemiGroup(): Category == Join(OrderedSet, AbelianSemiGroup) OrderedSemiGroup(): Category == Join(OrderedSet, SemiGroup) @ -@ \section{category OCAMON OrderedCancellationAbelianMonoid} <<category OCAMON OrderedCancellationAbelianMonoid>>= )abbrev category OCAMON OrderedCancellationAbelianMonoid |