[isabelle] Instance



Hi,

how do i write instance checking, like

lemma "3 in nat"

Many thanks!
 		 	   		  


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