Theory Zippy_Goals

✐‹creator "Kevin Kappelmann"›
theory Zippy_Goals
  imports
    ML_Alternating_Zipper_Paths
    Zippy_Base
    Zippy_Goals_Base
begin

ML_file‹zippy_goal_clusters_mixin_base.ML›
ML_file‹zippy_goal_clusters_mixin.ML›

ML_file‹zippy_goal_cluster_mixin_base.ML›
ML_file‹zippy_goal_cluster_mixin.ML›

ML_file‹zippy_goals_mixin_base.ML›

ML_file‹zippy_goal_focus_mixin_base.ML›

ML_file‹zippy_goal_results_mixin_base.ML›
ML_file‹zippy_goal_results_mixin.ML›

ML_file‹zippy_goals_results_mixin_base.ML›

ML_file‹zippy_top_meta_vars_mixin_base.ML›
ML_file‹zippy_top_meta_vars_mixin.ML›

ML_file‹zippy_goal_results_top_meta_vars_mixin_base.ML›
ML_file‹zippy_goal_results_top_meta_vars_mixin.ML›

ML_file‹zippy_goals_results_top_meta_vars_mixin_base.ML›

end