[isabelle-dev] list_to_set_comprehension

2011-01-11 Thread Makarius
Changes for list_to_set_comprehension keep coming in, and it seems to be not quite stabilized yet. Where is the NEWS entry that tells users what to do in case of failure? Yesterday I have tried to sanitize AFP/JinjaThreads in other repsects, but it did not work (the approximative versions are

Re: [isabelle-dev] list_to_set_comprehension

2011-01-11 Thread Lukas Bulwahn
On 01/11/2011 05:42 PM, Makarius wrote: Changes for list_to_set_comprehension keep coming in, and it seems to be not quite stabilized yet. Where is the NEWS entry that tells users what to do in case of failure? Here is the NEWS: * New simproc that rewrites list comprehensions applied to