Re: [isabelle] exception THM 0 raised (line 532 of "thm.ML"): future_result: bad prop



On Tue, 24 Feb 2015, Joachim Breitner wrote:

Since I can't reproduce the problem,

do you meant the problem does not occur for you, or that you were unable
to attempt to reproduce it?

I tried the batch build 3 times, and it worked 3 times (on 6 cores). I did not try further, but only looked a bit through the sources.


	Makarius





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