[isabelle] how to import circus after extract circus file for unifying theories



Hi 
 
C:\Users\martlee2\Downloads\Isabelle\Isabelle2014\src\HOL\Circus
 
Bad theory (file "C:\Users\marin\Downloads\Isabelle\Isabelle2014\src\Circus.thy")
 
 
Regards,
 
Martin
 
 		 	   		  


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