# HG changeset patch
# User wenzelm
# Date 1030455579 -7200
# Node ID 825249a031c317e32d842708ef008efb75d09e3b
# Parent  007559e981c7920b5ded325b875c9dc3eb6e4d7b
removed IsarTut;

diff -r 007559e981c7 -r 825249a031c3 doc-src/Contents
--- a/doc-src/Contents	Tue Aug 27 11:09:35 2002 +0200
+++ b/doc-src/Contents	Tue Aug 27 15:39:39 2002 +0200
@@ -1,1 +1,1 @@
-Intro Ref System Logics HOL ZF Inductive AxClass TutorialI IsarRef IsarTut
+Intro Ref System Logics HOL ZF Inductive AxClass TutorialI IsarRef