diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-08-30 06:43:04 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-08-30 06:43:04 +0000 |
| commit | 9c6a229c1aab609e3c51a1b9258b6c7c20cf7f3e (patch) | |
| tree | babe17f873d2ec8a590a5b05456cc1b4c1963ad7 /src/algebra/aggcat2.spad.pamphlet | |
| parent | d3aed7983ada6744839d855ad6e4ec8ae4de0b5e (diff) | |
| download | open-axiom-9c6a229c1aab609e3c51a1b9258b6c7c20cf7f3e.tar.gz | |
More boring explicit import.
Diffstat (limited to 'src/algebra/aggcat2.spad.pamphlet')
| -rw-r--r-- | src/algebra/aggcat2.spad.pamphlet | 12 |
1 files changed, 10 insertions, 2 deletions
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 |