Admin/index.html
changeset 7045 d6595926aa10
parent 6749 21f1645f0517
child 7948 61102e8cbe3c
--- 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>