diff -r 193a8601fabd -r d6595926aa10 doc/Contents
--- a/doc/Contents	Mon Jul 19 17:03:10 1999 +0200
+++ b/doc/Contents	Mon Jul 19 17:07:30 1999 +0200
@@ -1,6 +1,7 @@
 tutorial	Tutorial on Isabelle/HOL
 intro		Introduction to Isabelle
 ref		The Isabelle Reference Manual
+isar-ref	The Isabelle/Isar Reference Manual
 system		The Isabelle System Manual
 logics		Isabelle's Logics: overview and misc logics
 logics-HOL	Isabelle's Logics: HOL