Theory Zippy_Exceptions

✐‹creator "Kevin Kappelmann"›
section ‹Exceptions›
theory Zippy_Exceptions
  imports
    ML_Categories
    ML_Morphs
begin

ML_file‹zippy_exception_mixin_base.ML›
ML_file‹zippy_exception_mixin.ML›

end