--- a/Admin/page/main-content/docs.content Tue Apr 16 09:43:18 2002 +0200
+++ b/Admin/page/main-content/docs.content Tue Apr 16 12:23:33 2002 +0200
@@ -5,6 +5,10 @@
<!-- _GP_ distname --> documentation is included here as browsable PDF
for convenience. These documents are also part of the standard
-Isabelle <a href="dist/index.html">distribution</a>.
+Isabelle <a href="dist/index.html">distribution</a>. For getting
+started with Isabelle quickly, we recommend the
+<a href="dist/<!-- _GP_ distname -->/doc/tutorial.pdf">Tutorial on Isabelle/HOL</a> --
+published by Springer Verlag as <a
+href="http://www4.in.tum.de/~nipkow/LNCS2283/">LNCS 2283</a>.
<!-- _GP_ include("$pwd/docu-contents.main") -->