aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/aggcat2.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/aggcat2.spad.pamphlet')
-rw-r--r--src/algebra/aggcat2.spad.pamphlet12
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