/** \mainpage Data reference manual
 * 
 * The Data library contains classes that represent data expressions, sorts etc.
 * 
 * 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/data">Data user manual</a>.
 */
