Theory Zippy_Action_Clusters

✐‹creator "Kevin Kappelmann"›
section ‹Action Clusters›
theory Zippy_Action_Clusters
  imports
    Zippy_Enums
    Zippy_Identifiers
begin

ML_file‹zippy_copy_mixin_base.ML›
ML_file‹zippy_copy_mixin.ML›
ML_file‹zippy_enum_copy_mixin.ML›

ML_file‹zippy_action_cluster_metadata.ML›
ML_file‹zippy_action_cluster_metadata_mixin_base.ML›

end