[isabelle-dev] Circular reasoning via multithreading seems too easy

Lars Hupel hupel at in.tum.de
Sun Dec 4 22:34:30 CET 2016

>> There are 48 occurrences of "Unsynchronized.ref" in "~~/src/Tools", 181
>> in "~~/src/HOL", and some more in the AFP (many of which appear to be in
>> generated code).
> So what is wrong here?

Nothing, as far as I am concerned. I was merely trying to answer your

More information about the isabelle-dev mailing list