Theory ML_ITypeclasses_Base

✐‹creator "Kevin Kappelmann"›
section ‹Indexed Typeclasses›
theory ML_ITypeclasses_Base
  imports
    ML_Typeclasses_Base
begin

ML_gen_file‹itypeclass_base.ML›
ML_gen_file‹itypeclass_base_instance.ML›

end