more work toward removing depsys

1 files changed, 13 insertions, 13 deletions

diff --git a/src/input/lexp.input.pamphlet b/src/input/lexp.input.pamphlet
index f8af5761..4f70d158 100644
--- a/src/input/lexp.input.pamphlet
+++ b/src/input/lexp.input.pamphlet
@@ -12,19 +12,19 @@
 <<*>>=
 )cl all
 
- a: Symbol := 'a
- b: Symbol := 'b
- coef     := Fraction(Integer)
- group    := LieExponentials(Symbol, coef, 3)
- lpoly    := LiePolynomial(Symbol, coef)
- poly     := XPBWPolynomial(Symbol, coef)
- ea := exp(a::lpoly)$group
- eb := exp(b::lpoly)$group
- g: group := ea*eb
- g :: poly
- log(g)$group
- g1: group := inv(g)
- g*g1
+a: Symbol := 'a
+b: Symbol := 'b
+coef     := Fraction(Integer)
+group    := LieExponentials(Symbol, coef, 3)
+lpoly    := LiePolynomial(Symbol, coef)
+poly     := XPBWPolynomial(Symbol, coef)
+ea := exp(a::lpoly)$group
+eb := exp(b::lpoly)$group
+g: group := ea*eb
+g :: poly
+log(g)$group
+g1: group := inv(g)
+g*g1
 @
 \eject
 \begin{thebibliography}{99}