Theory Zippy_Instance_Resolve

✐‹creator "Kevin Kappelmann"›
subsubsection ‹Resolution›
theory Zippy_Instance_Resolve
  imports
    Zippy_Instance_Hom_Changed_Goals_Data
begin

setup‹Context.theory_map ML_Gen.ground_zipper_types›
ML_file‹zippy_instance_uresolve_data.ML›
ML_file‹zippy_instance_resolves_data.ML›
ML_file‹zippy_instance_uresolves_data.ML›
setup‹Context.theory_map ML_Gen.reset_zipper_types›

end