[isabelle] 'a and 'a'



Hello,what is the difference between 'a  and  'a' ? Can you give me an example?Thank you! 		 	   		  


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