structure Feedback
The Feedback structure provides facilities for raising and viewing HOL errors, and also for monitoring tools as they run.