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?
* What are your Isabelle options for "threads" and "parallel_proofs"?
0 and 2
This archive was generated by a fusion of
Pipermail (Mailman edition) and