diff options
author | dos-reis <gdr@axiomatics.org> | 2008-08-29 18:01:05 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-08-29 18:01:05 +0000 |
commit | fd316ce354e4eeace24d80cad6959245732217df (patch) | |
tree | d0a2c8a6f11c01cfb23e1b56691e2e8f2bc4fbd2 /src/algebra/equation2.spad.pamphlet | |
parent | c56406a1f224d195edb2fa8cee5f2fb277bd1164 (diff) | |
download | open-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/equation2.spad.pamphlet')
-rw-r--r-- | src/algebra/equation2.spad.pamphlet | 3 |
1 files changed, 3 insertions, 0 deletions
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} + <<package EQ2 EquationFunctions2>>= +import Equation )abbrev package EQ2 EquationFunctions2 ++ Author: ++ Date Created: |