Theory ML_Alternating_Zippers

✐‹creator "Kevin Kappelmann"›
section ‹Alternating Zippers›
theory ML_Alternating_Zippers
  imports
    ML_Linked_Zippers
begin

ML‹
  val pfx_sfx_nargs = ML_Gen.pfx_sfx_nargs
  val succ_mod_nzippers = ML_Gen.succ_mod_nzippers'
  val pred_mod_nzippers = ML_Gen.pred_mod_nzippers'
›

ML_gen_file‹alternating_zipper_morphs.ML›
ML_gen_file‹alternating_zipper.ML›
ML_gen_file‹sub_alternating_zipper.ML›
ML_gen_file‹pair_alternating_zipper.ML›
ML_gen_file‹rotate_alternating_zipper.ML›

end