diff --git a/books/bookvol10.3.pamphlet b/books/bookvol10.3.pamphlet index 0a76280..3815797 100644 --- a/books/bookvol10.3.pamphlet +++ b/books/bookvol10.3.pamphlet @@ -84217,7 +84217,7 @@ RewriteRule(Base, R, F): Exports == Implementation where -- remove the extra properties from the constant symbols in f F2Symbol f == - l := select_!(symbolIfCan #1 case Symbol, tower f)$List(Kernel F) + l := select_!(z+->symbolIfCan z case Symbol, tower f)$List(Kernel F) eval(f, l, [symbolIfCan(k)::Symbol::F for k in l]) retractIfCan r == diff --git a/changelog b/changelog index 8cbfb07..eb155f3 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20090517 tpd src/axiom-website/patches.html 20090517.02.tpd.patch +20090517 tpd books/bookvol10.3 RULE +-> conversino 20090517 tpd src/axiom-website/patches.html 20090517.01.tpd.patch 20090517 tpd books/bookvol10.4 EFSTRUC +-> conversion 20090516 tpd src/axiom-website/patches.html 20090516.05.tpd.patch diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index ba9d3b8..c2ef562 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -1330,5 +1330,7 @@ bookvol10.3 RECLOS +-> conversion
bookvol10.4 INTEF +-> conversion
20090517.01.tpd.patch bookvol10.4 EFSTRUC +-> conversion
+20090517.02.tpd.patch +bookvol10.3 RULE +-> conversion