| changeset 14230 | def0606302a1 |
| parent 13848 | 12ffc04fee22 |
| child 14379 | ea10a8c3e9cf |
--- a/Admin/page/main-content/index.content Fri Oct 10 19:32:15 2003 +0200 +++ b/Admin/page/main-content/index.content Fri Oct 10 19:34:28 2003 +0200 @@ -11,6 +11,7 @@ Cambridge University (<a href="http://www.cl.cam.ac.uk/users/lcp/">Larry Paulson</a>) and TU Munich (<a href="http://www.in.tum.de/~nipkow/">Tobias Nipkow</a>). +See the <a href="overview.html">Isabelle overview</a>. <p>