Theory ML_Morphs

✐‹creator "Kevin Kappelmann"›
section ‹Morphisms›
theory ML_Morphs
  imports
    ML_Gen_Zippers_Setup
begin

ML_gen_file‹morph_base.ML›
ML_gen_file‹morph.ML›
ML_gen_file‹modify_morph.ML›
ML_gen_file‹pair_morph.ML›

end