diff --git a/books/bookvol10.3.pamphlet b/books/bookvol10.3.pamphlet index 1f886bf..63914ca 100644 --- a/books/bookvol10.3.pamphlet +++ b/books/bookvol10.3.pamphlet @@ -108283,7 +108283,7 @@ UniversalSegment(S: Type): SegmentCategory(S) with lb := concat_!(lb,ns) if not null ls then s := first ls - st: Stream S := generate(#1 + incr(s)::S, lo s) + st: Stream S := generate(x +-> x+incr(s)::S, lo s) else st: Stream S := empty() concat(construct expand(lb), st) diff --git a/changelog b/changelog index b082cdf..80cc5a4 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20090519 tpd src/axiom-website/patches.html 20090519.06.tpd.patch +20090519 tpd books/bookvol10.3 UNISEG +-> conversion 20090519 tpd src/axiom-website/patches.html 20090519.05.tpd.patch 20090519 tpd books/bookvol10.4 FFFGF +-> conversion 20090519 tpd src/axiom-website/patches.html 20090519.04.tpd.patch diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index 18d56f7..d0aa142 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -1374,5 +1374,7 @@ bookvol10.4 FFFG +-> conversion
bookvol10.3 UTS +-> conversion
20090519.05.tpd.patch bookvol10.4 FFFGF +-> conversion
+20090519.06.tpd.patch +bookvol10.3 UNISEG +-> conversion