Theory Zippy_Tactics

✐‹creator "Kevin Kappelmann"›
theory Zippy_Tactics
  imports
    Zippy_Action_Applications
    Zippy_Tactics_Base
begin

ML_file‹zippy_tactic_action_app_metadata_mixin_base.ML›
ML_file‹zippy_tactic_action_app_metadata_mixin.ML›

end