diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet
index 3852e20..5f2cc03 100644
--- a/books/bookvol10.4.pamphlet
+++ b/books/bookvol10.4.pamphlet
@@ -120410,9 +120410,11 @@ PatternMatchIntegerNumberSystem(I:IntegerNumberSystem): with
uur.exponent, l,1)) => failed()
patternMatchRestricted(pr.base, uur.val, l, 1)
(w := isTimes p) case List(PAT) =>
- patternMatchSumProd(x, w::List(PAT), l, #1 exquo #2, 1)
+ patternMatchSumProd(x, w::List(PAT), l,
+ (i1:I,i2:I):Union(I,"failed") +-> i1 exquo i2, 1)
(w := isPlus p) case List(PAT) =>
- patternMatchSumProd(x,w::List(PAT),l,(#1-#2)::Union(I,"failed"),0)
+ patternMatchSumProd(x,w::List(PAT),l,
+ (i1:I,i2:I):Union(I,"failed") +-> (i1-i2)::Union(I,"failed"),0)
(uv := isQuotient p) case Record(num:PAT, den:PAT) =>
uvr := uv::Record(num:PAT, den:PAT)
(r := retractIfCan(uvr.num)@Union(Integer,"failed")) case Integer
diff --git a/changelog b/changelog
index 33afdb2..cee0e43 100644
--- a/changelog
+++ b/changelog
@@ -1,5 +1,7 @@
-20090609 tpd src/axiom-website/patches.html 20090610.01.tpd.patch
-20090609 tpd books/bookvol10.4 PMFS +-> conversion
+20090610 tpd src/axiom-website/patches.html 20090610.02.tpd.patch
+20090610 tpd books/bookvol10.4 PMINS +-> conversion
+20090610 tpd src/axiom-website/patches.html 20090610.01.tpd.patch
+20090610 tpd books/bookvol10.4 PMFS +-> conversion
20090609 tpd src/axiom-website/patches.html 20090609.09.tpd.patch
20090609 tpd books/bookvol10.4 PATTERN1 +-> conversion
20090609 tpd src/axiom-website/patches.html 20090609.08.tpd.patch
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 2dd40c8..bbb355b 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -1533,5 +1533,7 @@ bookvol10.4 PARTPERM +-> conversion
bookvol10.4 PATTERN1 +-> conversion
20090610.01.tpd.patch
bookvol10.4 PMFS +-> conversion
+20090610.02.tpd.patch
+bookvol10.4 PMINS +-> conversion