diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet
index 10dc44d..a05a486 100644
--- a/books/bookvol10.4.pamphlet
+++ b/books/bookvol10.4.pamphlet
@@ -149115,7 +149115,7 @@ WeierstrassPreparation(R): Defn == Impl where
transback(map3(rest,smps:ST StS):(ST SMPS)))$(L SMPS)
- clikeUniv(var)==likeUniv(#1,var)
+ clikeUniv(var)==p +-> likeUniv(p,var)
mind:(NNI,StS)->NNI
mind(n, sts)==
if null sts
@@ -149141,7 +149141,7 @@ WeierstrassPreparation(R): Defn == Impl where
zp==>map$StreamFunctions3(SUP,NNI,StS)
sts2stst(var, sts)==
- zp(streamlikeUniv(#1,#2),
+ zp((x,y) +-> streamlikeUniv(x,y),
map1(clikeUniv var, sts),(integers 0):(ST NNI))
tp:(VarSet,StS)->ST StS
@@ -149171,12 +149171,12 @@ WeierstrassPreparation(R): Defn == Impl where
q:=(YSS qqq(a,f:SMPS,rest p))
maptake(a,(p*q) pretend ST StS)
- cfirst n== first(#1,n)$StS
- crest n== rest(#1,n)$StS
+ cfirst n == s +-> first(s,n)$StS
+ crest n == s +-> rest(s,n)$StS
qq:(NNI,SMPS,ST SMPS,ST SMPS)->ST SMPS
qq(a,e,p,c)==
cons(e,(-e)*mapdrop(a,(p*c)pretend(ST StS)))
- qqq(a,e,p)== qq(a,e,p,#1)
+ qqq(a,e,p)== s +-> qq(a,e,p,s)
wei:(VarSet,SMPS)->ST SMPS
wei(v:VarSet,s:SMPS)==weier(v,s:StS)
weierstrass(v,smps)== transback wei (v,smps)
diff --git a/changelog b/changelog
index 0a7de90..8511f3d 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20090625 tpd src/axiom-website/patches.html 20090625.06.tpd.patch
+20090625 tpd books/bookvol10.4 WEIER +-> conversion
20090625 tpd src/axiom-website/patches.html 20090625.05.tpd.patch
20090625 tpd books/bookvol10.4 UTSODETL +-> conversion
20090625 tpd src/axiom-website/patches.html 20090625.04.tpd.patch
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index a898611..2cf36e4 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -1675,5 +1675,7 @@ bookvol10.4 UTSODE +-> conversion
bookvol10.4 UDPO +-> conversion
20090625.05.tpd.patch
bookvol10.4 UTSODETL +-> conversion
+20090625.06.tpd.patch
+bookvol10.4 WEIER +-> conversion