# HG changeset patch
# User wenzelm
# Date 904233760 -7200
# Node ID 2049fbac1407ec885e1e94f4ca7e099a3bf40984
# Parent  7299e531d4813d833b1a3abd9364cfc2f1a345fa
added tutorial;

diff -r 7299e531d481 -r 2049fbac1407 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>