[isabelle] how to know which lemma should be proved by apply rules before proving theorem



Hi
how to know which lemma should be proved by apply rules before proving theorem?
any books to teach a beginner to think which lemmas should be proved before going to theorem?
Regards,
Martin 		 	   		  


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