Admin/index.html

--- a/Admin/index.html	Thu Aug 27 16:54:55 1998 +0200
+++ b/Admin/index.html	Thu Aug 27 18:02:40 1998 +0200
@@ -57,6 +57,7 @@
 <li> <a href="{ISABELLE}/doc/logics.dvi">Isabelle's Object-Logics</a>
 <li> <a href="{ISABELLE}/doc/ind-defs.dvi">(Co)Inductive Definitions in ZF</a>
 <li> <a href="{ISABELLE}/doc/axclass.dvi">Tutorial on Axiomatic Type Classes</a>
+<li> <a href="{ISABELLE}/doc/tutorial.dvi">Tutorial on Isabelle/HOL</a>
 
 </ul>