[isabelle] generating isabelle theory files from ML modules?



hi,

Does someone know there exists anytool for generating isabelle theory files from ML modules (functions)?

Is such a tool needed?

cheers,
Tuvshintur





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