diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet
index 7841ef9..dd3217e 100644
--- a/books/bookvol10.4.pamphlet
+++ b/books/bookvol10.4.pamphlet
@@ -145730,8 +145730,8 @@ TransSolvePackage(R) : Exports == Implementation where
k :: RE :: Polynomial RE
smp2Poly(pol:SMP(R,Kernel RE), lvar:L S):Polynomial RE ==
- map(ker2Poly(#1, lvar),
- #1::RE::Polynomial RE, pol)$PolynomialCategoryLifting(
+ map(x +-> ker2Poly(x, lvar),
+ y +-> y::RE::Polynomial RE, pol)$PolynomialCategoryLifting(
IndexedExponents Kernel RE, Kernel RE, R, SMP(R, Kernel RE),
Polynomial RE)
diff --git a/changelog b/changelog
index 2c9ffeb..ba13d78 100644
--- a/changelog
+++ b/changelog
@@ -1,4 +1,6 @@
-20090624 tpd src/axiom-website/patches.html 20090623.04.tpd.patch
+20090624 tpd src/axiom-website/patches.html 20090624.02.tpd.patch
+20090624 tpd books/bookvol10.4 SOLVETRA +-> conversion
+20090624 tpd src/axiom-website/patches.html 20090624.01.tpd.patch
20090624 tpd books/bookvol10.4 RDETRS +-> conversion
20090623 tpd src/axiom-website/patches.html 20090623.03.tpd.patch
20090623 tpd books/bookvol10.4 TRMANIP +-> conversion
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 5bd616b..977bb15 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -1653,5 +1653,7 @@ bookvol10.4 INTTR +-> conversion
bookvol10.4 TRMANIP +-> conversion
20090624.01.tpd.patch
bookvol10.4 RDETRS +-> conversion
+20090624.02.tpd.patch
+bookvol10.4 SOLVETRA +-> conversion