# HG changeset patch
# User wenzelm
# Date 956146931 -7200
# Node ID 4c1a120647b87a95b3b1831ddf3c1b64bda2ba35
# Parent  9ed0548177fbdfcd464fff27fe1280c300293582
TuturialI;

diff -r 9ed0548177fb -r 4c1a120647b8 doc-src/Contents
--- a/doc-src/Contents	Wed Apr 19 13:40:42 2000 +0200
+++ b/doc-src/Contents	Wed Apr 19 14:22:11 2000 +0200
@@ -1,1 +1,1 @@
-Intro Ref System Logics HOL ZF Inductive AxClass Tutorial IsarRef
+Intro Ref System Logics HOL ZF Inductive AxClass TutorialI IsarRef