✐‹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