Theory Zippy_Instance_Cases

✐‹creator "Kevin Kappelmann"›
subsection ‹Cases›
theory Zippy_Instance_Cases
  imports
    Zippy_Instance_Hom_Changed_Goals_Data
    Cases_Tactics
begin

setup‹Context.theory_map ML_Gen.ground_zipper_types›
ML_file‹zippy_instance_cases_data.ML›
setup‹Context.theory_map ML_Gen.reset_zipper_types›

end