--- a/Admin/index.html Mon Jul 19 17:03:10 1999 +0200
+++ b/Admin/index.html Mon Jul 19 17:07:30 1999 +0200
@@ -54,6 +54,7 @@
<li> <a href="{ISABELLE}/doc/tutorial.pdf">Tutorial on Isabelle/HOL</a>
<li> <a href="{ISABELLE}/doc/intro.pdf">Introduction to Isabelle</a>
<li> <a href="{ISABELLE}/doc/ref.pdf">The Isabelle Reference Manual</a>
+<li> <a href="{ISABELLE}/doc/isar-ref.pdf">The Isabelle/Isar Reference Manual</a>
<li> <a href="{ISABELLE}/doc/system.pdf">The Isabelle System Manual</a>
<li> <a href="{ISABELLE}/doc/logics.pdf">Isabelle's Logics: overview and misc logics</a>
<li> <a href="{ISABELLE}/doc/logics-HOL.pdf">Isabelle's Logics: HOL</a>