Theory ML_Bi_Typeclasses

✐‹creator "Kevin Kappelmann"›
section ‹Bi-Typeclasses›
theory ML_Bi_Typeclasses
  imports ML_Typeclasses_Base
begin

ML_gen_file‹bi_typeclass.ML›

end