[isabelle] dump tree



Dear ALL:

Is there a single Isabelle command that allows one to inspect the
*complete* proof state at a given point?
  --- By "complete" I mean all the steps done so far, with enough information
  for one to build the full natural deduction *tree* for the
corresponding proof.

Or maybe some other tools for visualizing Isabelle proofs in tree format?

Yours,
JM





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