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: http://www.cl.cam.ac.uk/~lp15/papers/Reports/blast.pdf
Larry

On 3 Apr 2008, at 04:51, jwang whu.edu.cn (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.