✐‹creator "Kevin Kappelmann"› section ‹Enums› theory Zippy_Enums imports Zippy_Base Zippy_Coroutines begin ML_file‹zippy_enum_mixin_base.ML› ML_file‹zippy_enum_mixin.ML› end