diff -r 04767fa54b71 -r 212271f61915 doc/Contents
--- a/doc/Contents	Mon May 12 11:34:49 2003 +0200
+++ b/doc/Contents	Mon May 12 11:54:29 2003 +0200
@@ -1,4 +1,5 @@
 tutorial	Tutorial on Isabelle/HOL
+isar-overview	Tutorial on Isar
 exercises	Exercises for Isabelle/HOL
 axclass		Tutorial on Axiomatic Type Classes
 isar-ref	The Isabelle/Isar Reference Manual