/** \mainpage LPS reference manual
 *
 * The LPS library contains classes and algorithms for handling <i>linear
 * process specifications</i> (LPS).
 *
 * 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/devel/lps">LPS user manual</a>.
 */
