Theory ML_State_Base

✐‹creator "Kevin Kappelmann"›
section ‹State›
theory ML_State_Base
  imports Gen_ML_Typeclasses_Base
begin

ML_file‹state_result.ML›

end