# HG changeset patch
# User kleing
# Date 1052733269 -7200
# Node ID 212271f61915955fb98e533089f2b323a56c71f8
# Parent  04767fa54b71b7e87cb8d109a94be3569bbd73df
added isar-overview

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