[isabelle] Very simple ?



How do I print a theory I am working on i.e. still with sorry or oops in?

I normally use
isatool usedir  -c true  -d pdf -v true HOL Machine

but am told

*** Proof may be skipped in quick_and_dirty mode only!

Thanks in advance  david






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