/** \mainpage LTS reference manual
 *
 * The LTS library provides functionality for handling <i>labelled transition
 * systems</i> (LTS).
 *
 * 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/LTS_library">LTS user manual</a>.
 */
