[isabelle] About auto-method

    I want to know how to print the proof procedure of auto-method in  Isabelle ,for example the theroy or lemmas used by auto-method ,so I have a good understanding of the proof procedure of some theroy used in verifying security protocol.
    Thanks a lot.

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