Re: [isabelle] About auto-method in Isabelle

This source code of this method is complicated and it will probably not make any sense to you. You'll find information in the tutorial, section 5.13. You may also find the following paper interesting:

On 3 Apr 2008, at 04:51, jwang (jwang) wrote:
Some subgoals can be automatically proved by auto-method in Isabelle.I want to know how to look over the proof procedure of auto- method in Isabelle system?

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