✐‹creator "Kevin Kappelmann"› theory ML_State imports ML_ICategories ML_State_Base begin ML_gen_file‹state.ML› ML_gen_file‹istate.ML› end