[isabelle] how to know which rules to apply before apply(auto)?



Hi
1. how to know which rules to apply before apply(auto)?2. any manual to show all the rules that can be applied for each library when import them?3. is there any difference to apply rules in one statement or apply one by one?
a. apply(a)apply(b)done
b.apply(a,b)done

Regards,
Martin 		 	   		  


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