From ea12eba42203bb6826e1ada106166b5897dce654 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sat, 18 May 2013 20:28:02 +0000 Subject: Tidy Collection --- src/algebra/aggcat.spad.pamphlet | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/algebra/aggcat.spad.pamphlet') diff --git a/src/algebra/aggcat.spad.pamphlet b/src/algebra/aggcat.spad.pamphlet index 36de84b1..ab816fbf 100644 --- a/src/algebra/aggcat.spad.pamphlet +++ b/src/algebra/aggcat.spad.pamphlet @@ -261,7 +261,7 @@ Collection(S:Type): Category == HomogeneousAggregate(S) with find: (S->Boolean, %) -> Union(S, "failed") ++ find(p,u) returns the first x in u such that \axiom{p(x)} is true, and ++ "failed" otherwise. - if % has finiteAggregate then + if % has FiniteAggregate S then remove: (S->Boolean,%) -> % ++ remove(p,u) returns a copy of u removing all elements x such that ++ \axiom{p(x)} is true. -- cgit v1.2.3