✐‹creator "Kevin Kappelmann"› section ‹Goals› theory Zippy_Goals_Base imports ML_Typeclasses_Base ML_Unification.Unify_Resolve_Tactics_Base ML_Union_Find ML_Unification.ML_Unifiers begin ML_file‹zippy_thm_state.ML› ML_file‹zippy_goal_clusters.ML› ML_file‹zippy_goal_cluster.ML› ML_file‹zippy_goal_focus.ML› ML_file‹zippy_goal_results.ML› ML_file‹zippy_top_meta_vars.ML› end