Re: [isabelle] Incomplete goal may cause proof methods of later goals to loop.




Am 22.04.14 14:28, schrieb Makarius:
So far this does not disprove my reasing.
Wasn't meant to disprove anything.

Just the standard game:

  * What is your hardware precisely?
Macbook Pro with 2.4GHz Core i5 (2 Cores with 4 Threads) and 8GB of Ram
  * What is your operating system?
OS X 10.9.2
  * What is your Isabelle version?
2013_2
  * What are your Isabelle options for "threads" and "parallel_proofs"?
0 and 2
    Makarius





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.