[isabelle-dev] Two problems

Jasmin Blanchette jasmin.blanchette at gmail.com
Sat Dec 8 18:04:33 CET 2012

Am 08.12.2012 um 14:07 schrieb Makarius:

> In your observations above, are you sure that "nondeterministically" means physical nondeterminism, say due to parallel loading of theories?  Or theories that you have visited before in Proof General, before starting the above one?

Each time I clicked "Exit Isabelle", so it seemed to depend on how fast the two theories were loaded.


More information about the isabelle-dev mailing list