----------------------------------------------------------------------
Feedback
----------------------------------------------------------------------
structure Feedback

SYNOPSIS
Module for messages, warnings, errors, and tracing of HOL functions.

KEYWORDS
I/O, messages, warnings, errors, exceptions, tracing.

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

----------------------------------------------------------------------