+++ /dev/null
-<hr>
-<small><i>This page is part of the <b><a
-href="http://www.ginac.de/">GiNaC</a></b>
-developer's reference. It was generated automatically by <a
-href="http://www.stack.nl/~dimitri/doxygen/index.html">doxygen</a>. For
-an introduction, see the <a href="../tutorial/">tutorial</a>.</i></small>
-</body>
-</html>
-