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/equation2.spad.pamphlet | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/algebra/equation2.spad.pamphlet') diff --git a/src/algebra/equation2.spad.pamphlet b/src/algebra/equation2.spad.pamphlet index 8ae385bb..25a5f2cf 100644 --- a/src/algebra/equation2.spad.pamphlet +++ b/src/algebra/equation2.spad.pamphlet @@ -223,8 +223,11 @@ Equation(S: Type): public == private where [subst(lhs eq1,eq3),subst(rhs eq1,eq3)] @ + \section{package EQ2 EquationFunctions2} + <>= +import Equation )abbrev package EQ2 EquationFunctions2 ++ Author: ++ Date Created: -- cgit v1.2.3