[isabelle] About auto-method in Isabelle



Hi,
   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?
                                                                          Thanks 
                                                                            Jane
       




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