From c9d86f3d7a1bd950ee0d04aacd3eadcdd5bb7361 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Tue, 3 Jun 2008 10:01:32 +0000 Subject: * interp/comp.lisp (|compAndDefine|): Move to interp/compiler.boot (COMP): Likewise. (|compQuietly|): Likewise. (|compileQuietly|): Likewise. (COMP-1): Likewise. --- src/algebra/catdef.spad.pamphlet | 1 - 1 file changed, 1 deletion(-) (limited to 'src/algebra') 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} <>= )abbrev category OCAMON OrderedCancellationAbelianMonoid -- cgit v1.2.3