Theory ML_ICategories

✐‹creator "Kevin Kappelmann"›
section ‹Indexed Categories›
theory ML_ICategories
  imports
    ML_Categories
    ML_ITypeclasses_Base
begin

ML_gen_file‹icategory.ML›
ML_gen_file‹icategory_instance.ML›

ML_gen_file‹icategory_util.ML›

end