✐‹creator "Kevin Kappelmann"› section ‹Categories› theory ML_Categories imports ML_Typeclasses_Base ML_Unification.ML_General_Utils begin ML_gen_file‹category.ML› ML_gen_file‹category_instance.ML› ML_gen_file‹category_util.ML› end