aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/stream.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-08-29 18:01:05 +0000
committerdos-reis <gdr@axiomatics.org>2008-08-29 18:01:05 +0000
commitfd316ce354e4eeace24d80cad6959245732217df (patch)
treed0a2c8a6f11c01cfb23e1b56691e2e8f2bc4fbd2 /src/algebra/stream.spad.pamphlet
parentc56406a1f224d195edb2fa8cee5f2fb277bd1164 (diff)
downloadopen-axiom-fd316ce354e4eeace24d80cad6959245732217df.tar.gz
* algebra/aggcat.spad.pamphlet: Import used domains.
* algebra/any.spad.pamphlet: Likewise. * algebra/catdef.spad.pamphlet: Likewise. * algebra/drawopt.spad.pamphlet: Likewise. * algebra/equation2.spad.pamphlet: Likewise. * algebra/ituple.spad.pamphlet: Likewise. * algebra/mkfunc.spad.pamphlet: Likewise. * algebra/omdev.spad.pamphlet: Likewise. * algebra/out.spad.pamphlet: Likewise. * algebra/plot.spad.pamphlet: Likewise. * algebra/print.spad.pamphlet: Likewise. * algebra/seg.spad.pamphlet: Likewise. * algebra/stream.spad.pamphlet: Likewise. * algebra/system.spad.pamphlet: Likewise.
Diffstat (limited to 'src/algebra/stream.spad.pamphlet')
-rw-r--r--src/algebra/stream.spad.pamphlet9
1 files changed, 9 insertions, 0 deletions
diff --git a/src/algebra/stream.spad.pamphlet b/src/algebra/stream.spad.pamphlet
index 8bd55a61..0cb271b5 100644
--- a/src/algebra/stream.spad.pamphlet
+++ b/src/algebra/stream.spad.pamphlet
@@ -1128,8 +1128,11 @@ Stream(S): Exports == Implementation where
-- mapp(f,x,y,a)
@
+
\section{package STREAM1 StreamFunctions1}
+
<<package STREAM1 StreamFunctions1>>=
+import Stream
)abbrev package STREAM1 StreamFunctions1
++ Authors: Burge, Watt; updated by Clifton J. Williamson
++ Date Created: July 1986
@@ -1152,8 +1155,11 @@ StreamFunctions1(S:Type): Exports == Implementation where
concat(frst x,concat(rst x,concat rst z))
@
+
\section{package STREAM2 StreamFunctions2}
+
<<package STREAM2 StreamFunctions2>>=
+import Stream
)abbrev package STREAM2 StreamFunctions2
++ Authors: Burge, Watt; updated by Clifton J. Williamson
++ Date Created: July 1986
@@ -1211,8 +1217,11 @@ StreamFunctions2(A:Type,B:Type): Exports == Implementation where
-- h(frst x,rreduce(b,h,rst x))
@
+
\section{package STREAM3 StreamFunctions3}
+
<<package STREAM3 StreamFunctions3>>=
+import Stream
)abbrev package STREAM3 StreamFunctions3
++ Authors: Burge, Watt; updated by Clifton J. Williamson
++ Date Created: July 1986