✐‹creator "Kevin Kappelmann"› section ‹Goal Position Updates› theory Zippy_Goal_Pos_Updates_Base imports ML_Categories Zippy_Goals_Base begin ML_file‹zippy_goal_pos_update.ML› ML_file‹zippy_goal_pos_update_util.ML› end