[Axiom-developer] 20080917.01.tpd.patch (bookvol10.2 remove dup function defn in FLAGG)

[daly]

reverse occurs twice in the implementation of FiniteLinearAggregate.
One copy is removed.
=====================================================================
diff --git a/books/bookvol10.2.pamphlet b/books/bookvol10.2.pamphlet
index f39cf6a..9ae7057 100644
--- a/books/bookvol10.2.pamphlet
+++ b/books/bookvol10.2.pamphlet
@@ -5106,7 +5106,6 @@ FiniteLinearAggregate(S:Type): Category == 
LinearAggregate S with
     if % has shallowlyMutable then
       reverse x         == reverse_! copy x
       sort(f, l) == sort_!(f, copy l)
-      reverse x         == reverse_! copy x
 
       if S has OrderedSet then
        sort_! l == sort_!(_<$S, l)
diff --git a/changelog b/changelog
index 301732a..29c2f46 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,4 @@
+20080917 tpd books/bookvol10.2 remove duplicate function def in FLAGG  
 20080916 tpd books/ps/v102streamaggregate.ps
 20080916 tpd books/ps/v102listaggregate.ps
 20080916 tpd books/ps/v102finitelinearaggregate.ps corrected diagram