From 554dfb1181317ec273944a4387118d808fce0675 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sat, 31 May 2008 08:53:16 +0000
Subject:

---
 src/algebra/catdef.spad.pamphlet | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/algebra')

diff --git a/src/algebra/catdef.spad.pamphlet b/src/algebra/catdef.spad.pamphlet
index c9634478..1bb9eabc 100644
--- a/src/algebra/catdef.spad.pamphlet
+++ b/src/algebra/catdef.spad.pamphlet
@@ -4086,6 +4086,7 @@ VectorSpace(S:Field): Category ==  Module(S) with
 <<category VSPACE VectorSpace>>
 <<category ORDSET OrderedSet>>
 <<category ORDFIN OrderedFinite>>
+<<category OSGROUP OrderedSemiGroup>>
 <<category ORDMON OrderedMonoid>>
 <<category OASGP OrderedAbelianSemiGroup>>
 <<category OAMON OrderedAbelianMonoid>>
-- 
cgit v1.2.3