[isabelle-dev] list_to_set_comprehension

Makarius makarius at sketis.net
Tue Jan 11 17:42:34 CET 2011

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 Isabelle/2aec4b8cd289 


More information about the isabelle-dev mailing list