<hr>
<small><i>This page is part of the <b><a
-href="http://www.ginac.de/">GiNaC</a></b>
+href="https://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>