Remove parts from HomogeneousAggregate

1 files changed, 2 insertions, 5 deletions

diff --git a/src/algebra/aggcat.spad.pamphlet b/src/algebra/aggcat.spad.pamphlet
index e4f53746..c2c8a429 100644
--- a/src/algebra/aggcat.spad.pamphlet
+++ b/src/algebra/aggcat.spad.pamphlet
@@ -114,12 +114,9 @@ HomogeneousAggregate(S:Type): Category == Aggregate with
 	++ count(p,u) returns the number of elements x in u
 	++ such that \axiom{p(x)} is true. For collections,
 	++ \axiom{count(p,u) = reduce(+,[1 for x in u | p(x)],0)}.
-      parts: % -> List S
-	++ parts(u) returns a list of the consecutive elements of u.
-	++ For collections, \axiom{parts([x,y,...,z]) = (x,y,...,z)}.
       members: % -> List S
 	++ members(u) returns a list of the consecutive elements of u.
-	++ For collections, \axiom{parts([x,y,...,z]) = (x,y,...,z)}.
+	++ For collections, \axiom{members([x,y,...,z]) = (x,y,...,z)}.
       if S has BasicType then
 	count: (S,%) -> NonNegativeInteger
 	  ++ count(x,u) returns the number of occurrences of x in u.
@@ -184,7 +181,7 @@ FiniteAggregate(S: Type): Category == Exports where
         ++ \axiom{count(p,u) = reduce(+,[1 for x in u | p(x)],0)}.
       members: % -> List S
         ++ \spad{members(u)} returns a list of the consecutive elements of u.
-        ++ For collections, \axiom{parts([x,y,...,z]) = (x,y,...,z)}.
+        ++ For collections, \axiom{members([x,y,...,z]) = (x,y,...,z)}.
       if S has BasicType then
         count: (S,%) -> NonNegativeInteger
           ++ \spad{count(x,u)} returns the number of occurrences