/** \mainpage Core reference manual
 *
 * The Core library provides functionality for handling the internal data structures
 * for the mCRL2 tools.
 *
 * 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/Core_library">Core user manual</a>.
 */
