[isabelle] build HOL Failed - exception Fail raised: stuck state (Isabelle2005, SML/NJ, Cygwin)




Thanks very much to Florian for helping me past my previous problem. However I've now received this exception from running
./build HOL:

exception Fail raised: stuck state
at command "use"
ExnDuringExecution

HOL log zipped and attached.

Any help really would be appreciated.

thanks everso,
Will.

Attachment: HOL.zip
Description: Zip compressed data



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