diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet
index 5a92978..4cf49d2 100644
--- a/books/bookvol10.4.pamphlet
+++ b/books/bookvol10.4.pamphlet
@@ -54920,10 +54920,10 @@ ListToMap(A:SetCategory, B:Type): Exports == Implementation where
++ The value returned is then obtained by applying f to argument a.
Implementation ==> add
- match(la, lb) == match(la, lb, #1)
+ match(la, lb) == (z1:A):B +-> match(la, lb, z1)
match(la:LA, lb:LB, a:A) == lb.position(a, la)
- match(la:LA, lb:LB, b:B) == match(la, lb, #1, b)
- match(la:LA, lb:LB, f:AB) == match(la, lb, #1, f)
+ match(la:LA, lb:LB, b:B) == (z1:A):B +-> match(la, lb, z1, b)
+ match(la:LA, lb:LB, f:AB) == (z1:A):B +-> match(la, lb, z1, f)
match(la:LA, lb:LB, a:A, b:B) ==
(p := position(a, la)) < minIndex(la) => b
diff --git a/changelog b/changelog
index a5e5240..919d075 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20090606 tpd src/axiom-website/patches.html 20090606.05.tpd.patch
+20090606 tpd books/bookvol10.4 LIST2MAP +-> conversion
20090606 tpd src/axiom-website/patches.html 20090606.04.tpd.patch
20090606 tpd books/bookvol10.4 LF +-> conversion
20090606 tpd src/axiom-website/patches.html 20090606.03.tpd.patch
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 54f2c2e..508f08c 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -1471,5 +1471,7 @@ bookvol10.4 LODOOPS +-> conversion
bookvol10.4 LPEFRAC +-> conversion
20090606.04.tpd.patch
bookvol10.4 LF +-> conversion
+20090606.05.tpd.patch
+bookvol10.4 LIST2MAP +-> conversion