From 9c6a229c1aab609e3c51a1b9258b6c7c20cf7f3e Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sat, 30 Aug 2008 06:43:04 +0000
Subject: More boring explicit import.

---
 src/algebra/aggcat2.spad.pamphlet | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

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

diff --git a/src/algebra/aggcat2.spad.pamphlet b/src/algebra/aggcat2.spad.pamphlet
index 6a4c57be..a49e955d 100644
--- a/src/algebra/aggcat2.spad.pamphlet
+++ b/src/algebra/aggcat2.spad.pamphlet
@@ -1,16 +1,20 @@
 \documentclass{article}
 \usepackage{axiom}
 \begin{document}
-\title{\$SPAD/src/algebra aggcat2.spad}
+\title{src/algebra aggcat2.spad}
 \author{Robert S. Sutor}
 \maketitle
+
 \begin{abstract}
 \end{abstract}
-\eject
 \tableofcontents
 \eject
+
 \section{package FLAGG2 FiniteLinearAggregateFunctions2}
+
 <<package FLAGG2 FiniteLinearAggregateFunctions2>>=
+import Type
+import FiniteLinearAggregate
 )abbrev package FLAGG2 FiniteLinearAggregateFunctions2
 --% FiniteLinearAggregateFunctions2
 
@@ -125,8 +129,12 @@ FiniteLinearAggregateFunctions2(S, A, R, B):
             w
 
 @
+
 \section{package FSAGG2 FiniteSetAggregateFunctions2}
+
 <<package FSAGG2 FiniteSetAggregateFunctions2>>=
+import SetCategory
+import FiniteSetAggregate
 )abbrev package FSAGG2 FiniteSetAggregateFunctions2
 
 --% FiniteSetAggregateFunctions2
-- 
cgit v1.2.3