Theory Zippy_Action_Applications

✐‹creator "Kevin Kappelmann"›
theory Zippy_Action_Applications
  imports
    Zippy_Action_Applications_Base
    Zippy_Enums
begin

ML_file‹zippy_action_app_num_mixin_base.ML›
ML_file‹zippy_action_app_num_mixin.ML›

ML_file‹zippy_action_app_metadata.ML›
ML_file‹zippy_action_app_metadata_mixin_base.ML›
ML_file‹zippy_action_app_metadata_mixin.ML›
ML_file‹zippy_enum_action_app_metadata_mixin.ML›

ML_file‹zippy_prio_mixin_base.ML›

end