Theory Zippy_Instance_Induction

✐‹creator "Kevin Kappelmann"›
subsection ‹Induction›
theory Zippy_Instance_Induction
  imports
    Zippy_Instance_Hom_Changed_Goals_Data
    Induction_Tactics
begin

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

end