[isabelle] Isabelle/MMT: export of Isabelle theories and import as OMDoc content



Dear Isabelle users,

here is a recent blog entry about a exporting formal content from
Isabelle + AFP and importing it into MMT (as OMDoc files):

https://sketis.net/2018/isabelle-mmt-export-of-isabelle-theories-and-import-as-omdoc-content


	Makarius




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