[isabelle-dev] Two problems

[Jasmin Blanchette]

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.

Jasmin