Theory Zippy_Actions

✐‹creator "Kevin Kappelmann"›
theory Zippy_Actions
  imports
    ML_Priority_Queues
    Zippy_Actions_Base
    Zippy_Enums
    Zippy_Identifiers
begin

ML_file‹zippy_paction_mixin_base.ML›
ML_file‹zippy_paction_mixin.ML›

ML_file‹zippy_paction_queue_mixin_base.ML›
ML_file‹zippy_paction_queue_mixin.ML›

ML_file‹zippy_presults_mixin_base.ML›
ML_file‹zippy_presults_mixin.ML›

ML_file‹zippy_paction_presults_mixin_base.ML›
ML_file‹zippy_paction_presults_mixin.ML›

ML_file‹zippy_action_metadata.ML›
ML_file‹zippy_action_metadata_mixin_base.ML›

end