Feedback
structure Feedback
Module for messages, warnings, errors, and tracing of HOL functions.
The Feedback structure provides facilities for raising and viewing HOL errors, and also for monitoring tools as they run.