[isabelle] About auto-method



   Hi:
    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.
                                                                     Jean




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