✐‹creator "Kevin Kappelmann"› section ‹Loggers› theory Zippy_Loggers imports ML_Unification.ML_Logger begin ML_file‹zippy_logger_mixin_base.ML› end