diff -r 3bd1df57ee00 -r 879ac452101e Admin/page/main-content/docs.content
--- 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 @@
documentation is included here as browsable PDF
for convenience. These documents are also part of the standard
-Isabelle distribution.
+Isabelle distribution. For getting
+started with Isabelle quickly, we recommend the
+Tutorial on Isabelle/HOL --
+published by Springer Verlag as LNCS 2283.