From e8d97f536bc5aa1e00778e23efd78611cfbe9fe9 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sat, 30 Aug 2008 04:07:42 +0000
Subject: More explicit import

---
 src/algebra/drawopt.spad.pamphlet | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

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

diff --git a/src/algebra/drawopt.spad.pamphlet b/src/algebra/drawopt.spad.pamphlet
index 26437f52..107d5d3d 100644
--- a/src/algebra/drawopt.spad.pamphlet
+++ b/src/algebra/drawopt.spad.pamphlet
@@ -1,15 +1,17 @@
 \documentclass{article}
 \usepackage{axiom}
 \begin{document}
-\title{\$SPAD/src/algebra drawopt.spad}
+\title{src/algebra drawopt.spad}
 \author{Stephen M. Watt, Jim Wen}
 \maketitle
+
 \begin{abstract}
 \end{abstract}
-\eject
 \tableofcontents
 \eject
+
 \section{domain DROPT DrawOption}
+
 <<domain DROPT DrawOption>>=
 )abbrev domain DROPT DrawOption
 ++ Author: Stephen Watt
@@ -222,6 +224,7 @@ DrawOption(): Exports == Implementation where
 \section{package DROPT1 DrawOptionFunctions1}
 
 <<package DROPT1 DrawOptionFunctions1>>=
+import Type
 import Symbol
 import List DrawOption
 )abbrev package DROPT1 DrawOptionFunctions1
-- 
cgit v1.2.3