From fd316ce354e4eeace24d80cad6959245732217df Mon Sep 17 00:00:00 2001 From: dos-reis Date: Fri, 29 Aug 2008 18:01:05 +0000 Subject: * 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. --- src/algebra/ituple.spad.pamphlet | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'src/algebra/ituple.spad.pamphlet') diff --git a/src/algebra/ituple.spad.pamphlet b/src/algebra/ituple.spad.pamphlet index 84eaa8c2..3d62dfc6 100644 --- a/src/algebra/ituple.spad.pamphlet +++ b/src/algebra/ituple.spad.pamphlet @@ -48,8 +48,11 @@ InfiniteTuple(S:Type): Exports == Implementation where -- coerce(x)$Stream(S) @ + \section{package ITFUN2 InfiniteTupleFunctions2} + <>= +import InfiniteTuple )abbrev package ITFUN2 InfiniteTupleFunctions2 InfiniteTupleFunctions2(A:Type,B:Type): Exports == Implementation where ++ Functions defined on streams with entries in two sets. @@ -65,8 +68,12 @@ InfiniteTupleFunctions2(A:Type,B:Type): Exports == Implementation where map(f,x pretend Stream(A))$StreamFunctions2(A,B) pretend IT(B) @ + \section{package ITFUN3 InfiniteTupleFunctions3} + <>= +import InfiniteTuple +import Stream )abbrev package ITFUN3 InfiniteTupleFunctions3 InfiniteTupleFunctions3(A:Type, B:Type,C:Type): Exports == Implementation where -- cgit v1.2.3