# HG changeset patch
# User wenzelm
# Date 904243596 -7200
# Node ID 645f46a24c7297a8648ca57dcc990075635bb740
# Parent  0e3b58479d95687b3126c83265a1c2663ad284e1
made tutorial first;

diff -r 0e3b58479d95 -r 645f46a24c72 doc/Contents
--- a/doc/Contents	Thu Aug 27 20:45:57 1998 +0200
+++ b/doc/Contents	Thu Aug 27 20:46:36 1998 +0200
@@ -1,7 +1,7 @@
+tutorial	Tutorial on Isabelle/HOL
 intro		Introduction to Isabelle
 ref		The Isabelle Reference Manual
 system		The Isabelle System Manual
 logics		Isabelle's Object-Logics
 ind-defs	(Co)Inductive Definitions in ZF
 axclass		Tutorial on Axiomatic Type Classes
-tutorial	Tutorial on Isabelle/HOL