Re: [isabelle] Set notation for tuples broken



Am 10/03/2013 09:55, schrieb John Wickerson:
> 
> 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)" ?

Sorry, P a b it should have been.

Tobias





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