diff --git a/books/bookvol10.2.pamphlet b/books/bookvol10.2.pamphlet
index c72b565..a4ef5e9 100644
--- a/books/bookvol10.2.pamphlet
+++ b/books/bookvol10.2.pamphlet
@@ -15825,7 +15825,7 @@ Dictionary(S:SetCategory): Category ==
if % has finiteAggregate then
-- remove(f:S->Boolean,t:%) == remove_!(f, copy t)
-- select(f, t) == select_!(f, copy t)
- select_!(f, t) == remove_!(not f #1, t)
+ select_!(f, t) == remove_!((x:S):Boolean +-> not f(x), t)
--extract_! d ==
-- empty? d => error "empty dictionary"
diff --git a/changelog b/changelog
index 134a925..4ac2b6f 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20090509 tpd src/axiom-website/patches.html 20090509.10.tpd.patch
+20090509 tpd books/bookvol10.2 DIAGG +-> conversion
20090509 tpd src/axiom-website/patches.html 20090509.09.tpd.patch
20090509 tpd books/bookvol10.3 CONTFRAC +-> conversion
20090509 tpd src/axiom-website/patches.html 20090509.08.tpd.patch
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 10fe583..8b4e462 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -1150,5 +1150,7 @@ bookvol10.2 PSETCAT +-> conversion
bookvol10.4 INTAF +-> conversion
20090509.09.tpd.patch
bookvol10.3 CONTFRAC +-> conversion
+20090509.10.tpd.patch
+bookvol10.2 DIAGG +-> conversion