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

Lars Hupel hupel at in.tum.de
Sun Dec 4 11:14:41 CET 2016

> Where did you see these lots of Unsynchronized.ref (or better
> Synchronized.var) in Isabelle Tools?

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).

More information about the isabelle-dev mailing list