[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"

HOL log zipped and attached.

Any help really would be appreciated.

thanks everso,

Attachment: HOL.zip
Description: Zip compressed data

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