structure Feedback

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

DESCRIBE

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


HOL  Kananaskis 0