changeset 10180 | 149878bae19c |
parent 10019 | 7564e6723fb8 |
child 11109 | ce1cefc6c14c |
--- a/Admin/page/main-content/logics.content Mon Oct 09 19:49:58 2000 +0200 +++ b/Admin/page/main-content/logics.content Mon Oct 09 20:05:49 2000 +0200 @@ -13,7 +13,7 @@ <h2>Isabelle's Logics</h2> The Isabelle distribution includes a large body of object logics and -other examples (see the <a href="library/">Isabelle theory +other examples (see the <a href="library/index.html">Isabelle theory library</a>). <dl>