Theory ML_Linked_Zippers

✐‹creator "Kevin Kappelmann"›
section ‹Linked Zippers›
theory ML_Linked_Zippers
  imports
    ML_Zippers
begin

ML‹
  val mk_name = ML_Gen.mk_name
›

ML_gen_file‹linked_zipper_morphs.ML›
ML_gen_file‹linked_zipper.ML›

end