[isabelle] Verify proof of a single theorem



Dear Isabelle experts,

I have a question regarding the use of Isabelle in batch mode: Is there a way to invoke Isabelle in a way to check the proof of a single theorem in a given theory file?

So, assuming i have a theory containing proofs for several theorems and i want Isabelle to check the proof of one theorem only.

Many thanks and best regards!

Diego


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