Re: [isabelle] Set notation for tuples broken

On 10 Mar 2013, at 09:45, Tobias Nipkow wrote:

> Am 10/03/2013 08:36, schrieb John Wickerson:
>> When you want to use a pattern in your set comprehension, you can't just write
>> {(a,b). P a b}
> Yes, you can. It stands for Collect(%(a,b). P a).

Oh, that's new to me. Just to clarify, should that be "Collect(%(a,b). P a b)" or do you really mean "Collect(%(a,b). P a)" ?

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.