[Om] Tuple and list : any distinction?

[David Carlisle]

On 18/02/2010 18:28, Joe Collins wrote:
> Dear James,
>
> The list constructor "suchthat"
> takes a set as input and a boolean indicator function over the set.
>
> There is no defined order so the result cannot be well defined if order is an
> essential property of lists.

I believe that is a typo (cut and paste error) in the CD. the list 
version of suchthat is supposed to take a list as first argument.

David