theory Scratch
  imports Pure
begin

ML \<open>
  val Main_thy = Thy_Info.get_theory "Main";
  val ZF_thy = Thy_Info.get_theory "ZF";
\<close>

end