*To*: cl-isabelle-users at lists.cam.ac.uk*Subject*: Re: [isabelle] Set notation for tuples broken*From*: John Wickerson <jpw48 at cam.ac.uk>*Date*: Sun, 10 Mar 2013 09:55:37 +0100*In-reply-to*: <513C4837.3070300@in.tum.de>*References*: <CAGbqCMyua4OKBLRe0DvZvNTMUD+AEeMCVteBy8Rfz48ioj-QbA@mail.gmail.com> <28C5331F-F274-4FD7-9185-913E1C879AB0@cam.ac.uk> <513C4837.3070300@in.tum.de>

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)" ?

**Follow-Ups**:**Re: [isabelle] Set notation for tuples broken***From:*Tobias Nipkow

**References**:**[isabelle] Set notation for tuples broken***From:*C. Diekmann

**Re: [isabelle] Set notation for tuples broken***From:*John Wickerson

**Re: [isabelle] Set notation for tuples broken***From:*Tobias Nipkow

- Previous by Date: Re: [isabelle] Set notation for tuples broken
- Next by Date: Re: [isabelle] Set notation for tuples broken
- Previous by Thread: Re: [isabelle] Set notation for tuples broken
- Next by Thread: Re: [isabelle] Set notation for tuples broken
- Cl-isabelle-users March 2013 archives indexes sorted by: [ thread ] [ subject ] [ author ] [ date ]
- Cl-isabelle-users list archive Table of Contents
- More information about the Cl-isabelle-users mailing list