[isabelle] export .thy files as xml


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.