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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
