Theory Zippy_Lists_Goals

✐‹creator "Kevin Kappelmann"›
theory Zippy_Lists_Goals
  imports
    Zippy_Goals
    Zippy_Lists_Base
begin

ML_file‹zippy_lists_goals_mixin.ML›
ML_file‹zippy_lists_goals_results_mixin.ML›
ML_file‹zippy_lists_goals_results_top_meta_vars_mixin.ML›

end