Re: [isabelle] list_to_set_comprehension bug ?

On Wed, 19 Jan 2011, Mathieu Giorgino wrote:

It seems there is a problem with the list_to_set_comprehension tactic

Since this refers to an unofficial Isabelle version, it should be discussed on the isabelle-dev at mailing list.


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