[isabelle] export .thy files as xml



Hi,

is there a way to export a parsed, type-checked and possibly proven
theory file as an xml file (or another format.)

I've found the yxml (xml to yxml converter) in the documentation, but no
way to create xml in the first place.

Thanks Christian





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