From fd316ce354e4eeace24d80cad6959245732217df Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Fri, 29 Aug 2008 18:01:05 +0000
Subject: 	* algebra/aggcat.spad.pamphlet: Import used domains. 	*
 algebra/any.spad.pamphlet: Likewise. 	* algebra/catdef.spad.pamphlet:
 Likewise. 	* algebra/drawopt.spad.pamphlet: Likewise. 	*
 algebra/equation2.spad.pamphlet: Likewise. 	*
 algebra/ituple.spad.pamphlet: Likewise. 	*
 algebra/mkfunc.spad.pamphlet: Likewise. 	* algebra/omdev.spad.pamphlet:
 Likewise. 	* algebra/out.spad.pamphlet: Likewise. 	*
 algebra/plot.spad.pamphlet: Likewise. 	* algebra/print.spad.pamphlet:
 Likewise. 	* algebra/seg.spad.pamphlet: Likewise. 	*
 algebra/stream.spad.pamphlet: Likewise. 	*
 algebra/system.spad.pamphlet: Likewise.

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

(limited to 'src/algebra/catdef.spad.pamphlet')

diff --git a/src/algebra/catdef.spad.pamphlet b/src/algebra/catdef.spad.pamphlet
index 628130a2..b2d2c42e 100644
--- a/src/algebra/catdef.spad.pamphlet
+++ b/src/algebra/catdef.spad.pamphlet
@@ -94,7 +94,9 @@ AbelianMonoid(): Category == AbelianSemiGroup with
 
 
 \section{category ABELSG AbelianSemiGroup}
+
 <<category ABELSG AbelianSemiGroup>>=
+import PositiveInteger
 )abbrev category ABELSG AbelianSemiGroup
 ++ Author:
 ++ Date Created:
@@ -155,8 +157,11 @@ Algebra(R:CommutativeRing): Category ==
   coerce(x:R):% == x * 1$%
 
 @
+
 \section{category BASTYPE BasicType}
+
 <<category BASTYPE BasicType>>=
+import Boolean
 )abbrev category BASTYPE BasicType
 --% BasicType
 ++ Author:
@@ -178,7 +183,9 @@ BasicType(): Category == with
       _~_=(x:%,y:%) : Boolean == not(x=y)
 
 @
+
 \section{category BMODULE BiModule}
+
 <<category BMODULE BiModule>>=
 )abbrev category BMODULE BiModule
 ++ Author:
@@ -1255,7 +1262,9 @@ OrderedRing(): Category == Join(OrderedAbelianGroup,Ring,Monoid) with
 @
 
 \section{category ORDSET OrderedSet}
+
 <<category ORDSET OrderedSet>>=
+import Boolean
 )abbrev category ORDSET OrderedSet
 ++ Author:
 ++ Date Created:
@@ -1578,7 +1587,9 @@ Rng(): Category == Join(AbelianGroup,SemiGroup)
 @ 
 
 \section{category SGROUP SemiGroup}
+
 <<category SGROUP SemiGroup>>=
+import PositiveInteger
 )abbrev category SGROUP SemiGroup
 ++ Author:
 ++ Date Created:
-- 
cgit v1.2.3