Theory ML_Zippers

✐‹creator "Kevin Kappelmann"›
section ‹Zippers›
theory ML_Zippers
  imports
    ML_Morphs
    ML_Structured_Lenses
begin

ML_gen_file‹zipper_morphs.ML›
ML_gen_file‹modify_zipper_morphs_zipper.ML›
ML_gen_file‹modify_zipper_morphs_container.ML›
ML_gen_file‹pair_zipper_morphs.ML›

ML_gen_file‹zipper_data.ML›
ML_gen_file‹modify_zipper_data_zipper.ML›
ML_gen_file‹modify_zipper_data_content.ML›
ML_gen_file‹pair_zipper_data.ML›

ML_gen_file‹zipper.ML›
ML_gen_file‹modify_zipper_zipper.ML›
ML_gen_file‹modify_zipper_content.ML›
ML_gen_file‹extend_zipper_context.ML›
ML_gen_file‹sub_zipper.ML›
ML_gen_file‹pair_zipper.ML›

end