[opentheory-users] generating proof articles

Ramana Kumar ramana.kumar at gmail.com
Fri Sep 2 21:02:33 UTC 2011


The answer to "How can I generate a proof article file from a HOL
Light theory file?" at
http://www.gilith.com/software/opentheory/faq.html doesn't mention the
function "export_thm". Should it?

(I can't get HOL Light to build at the moment, else I would have just
tried following the steps to see.)



More information about the opentheory-users mailing list