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 in.tum.de mailing list.


	Makarius





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