Theory Zippy_ML_Tactic_Utils

✐‹creator "Kevin Kappelmann"›
section ‹Tactic Utils›
theory Zippy_ML_Tactic_Utils
  imports
    ML_Typeclasses_Base
begin

ML_file ‹~~/src/Tools/IsaPlanner/zipper.ML›
(*rename such that structure remains available even if another session re-loads zipper.ML*)
ML‹
structure Term_Zipper = Zipper
structure Term_Zipper_Search = ZipperSearch
›

ML_file‹zippy_ml_tactic_util.ML›

end