diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-08-30 04:07:42 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-08-30 04:07:42 +0000 |
| commit | e8d97f536bc5aa1e00778e23efd78611cfbe9fe9 (patch) | |
| tree | 19b5531141aed7b0e0aaf49e9bb50d00738bc37c /src/algebra/drawopt.spad.pamphlet | |
| parent | 496fe8b336293c1ca960eb3fad67ac005403ee31 (diff) | |
| download | open-axiom-e8d97f536bc5aa1e00778e23efd78611cfbe9fe9.tar.gz | |
More explicit import
Diffstat (limited to 'src/algebra/drawopt.spad.pamphlet')
| -rw-r--r-- | src/algebra/drawopt.spad.pamphlet | 7 |
1 files changed, 5 insertions, 2 deletions
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 |