[isabelle] Examining the steps taken by auto



Hello,

I'm still pretty new to Isabelle, and I have an example of a theorem that
'auto' can solve with the appropriate intro rules added, but I'm not sure
how auto actually did it!  Is there a way in Isabelle/Proof General to print
out the chain of rules that auto found to apply?

Cheers,




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