diff options
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: |