[isabelle] Isabelle

Hello isabelle users,
I just want to ask if I can use a Mathml file as an input format for isabelle. I have written some mathematical proofs in Mathml, and I would like to check it  within isabelle. Is it possible?

Kind regards.


Do You Yahoo!?
En finir avec le spam? Yahoo! Mail vous offre la meilleure protection possible contre les messages non sollicités 
http://mail.yahoo.fr Yahoo! Mail 

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