[isabelle] Retrieving context from theory



Hi

I just have a quick question: what is the proper way to grab the context
from a theory in ML? Is it ProofContext.init_global thy?

Thanks!

Steve




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