[isabelle] Set cpo



Hello,
this question is also related to the bool-question.
How do i prove in Isabelle 2015
instance set :: (cpo) cpo  
?
Thank you!
 		 	   		  


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