Theory ML_Logger

✐‹creator "Kevin Kappelmann"›
section ‹ML Logger›
theory ML_Logger
  imports
    ML_Attributes
begin

paragraph ‹Summary›
text ‹Generic logging, at some places inspired by Apache's Log4J 2
🌐‹https://logging.apache.org/log4j/2.x/manual/customloglevels.html›.›

ML_file‹Data_Structures/map.ML›
ML_file‹Data_Structures/hoption_tree.ML›
ML_file‹Data_Structures/binding_tree.ML›

ML_file‹logger.ML›
ML_file‹logging_antiquotation.ML›

end