# HG changeset patch
# User wenzelm
# Date 1024053872 -7200
# Node ID 833ffcb2e92d01229558e54a83165177791a0a13
# Parent  ba84715f6785f0bf527fe2192f3b8050f5b1be13
IsarTut;

diff -r ba84715f6785 -r 833ffcb2e92d doc-src/Contents
--- a/doc-src/Contents	Fri Jun 14 11:57:04 2002 +0200
+++ b/doc-src/Contents	Fri Jun 14 13:24:32 2002 +0200
@@ -1,1 +1,1 @@
-Intro Ref System Logics HOL ZF Inductive AxClass TutorialI IsarRef
+Intro Ref System Logics HOL ZF Inductive AxClass TutorialI IsarRef IsarTut