✐‹creator "Kevin Kappelmann"› section ‹Runs› theory Zippy_Runs imports Zippy_Action_Applications Zippy_Actions Zippy_Lists_Goals Zippy_Lists_Positions Zippy_Runs_Base Zippy_Seqs begin ML_file‹zippy_step_mixin_base.ML› ML_file‹zippy_step_mixin.ML› ML_file‹zippy_run_mixin_base.ML› ML_file‹zippy_run_mixin.ML› setup‹Context.theory_map ML_Gen.ground_zipper_types› ML_file‹zippy_run_data.ML› setup‹Context.theory_map ML_Gen.reset_zipper_types› end