[isabelle] Pure and CPure non-compatible



Hi,
I would like to import two modules, one is made over Pure and the other is
made over Main, but Isabelle system complains that Pure and CPure can not be
put together. 
Any suggestion?
Thanks,
Paqui

--------------------------------- 
Paqui Lucio                                
Dpto de LSI                    
Facultad de Informática
Paseo Manuel de Lardizabal, 1
20080-San Sebastián
SPAIN
---------------------------------
e-mail: paqui.lucio at ehu.es
Tfn: (+34) (9)43 015049  
Fax: (+34) (9)43 015590
Web: http://www.sc.ehu.es/paqui
---------------------------------
 






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