/** \mainpage Trace reference manual
 *
 * The Trace library provides functionality for storing, retrieving and
 * manipulating traces. A trace consists of a sequence of triples with
 * a state, an outgoing action and optionally a time tag.
 *
 * These pages contain the reference manual for this library.
 *
 * More information about this library can be found in the <a
 * href="http://www.mcrl2.org/mcrl2/wiki/index.php/Trace_library">Trace user manual</a>.
 */
