Theory Zippy_States

✐‹creator "Kevin Kappelmann"›
section ‹States›
theory Zippy_States
  imports
    ML_State
    ML_Morphs
begin

ML_file‹zippy_ctxt_state_mixin_base.ML›
ML_file‹zippy_ctxt_state_mixin.ML›

ML_file‹zippy_state_mixin_base.ML›
ML_file‹zippy_state_mixin.ML›

end