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