Re: [isabelle] Set notation for tuples broken



Am 10/03/2013 00:00, schrieb C. Diekmann:
> I want to report that the following set notation is unfortunately not accepted:
>   {(a,b) ∈ X. P a}

Now it is, in the development version. It is input syntax that tranlates into
{(a,b). (a,b) ∈ X & P a}.

Tobias




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