--- a/doc-src/TutorialI/tutorial.tex Tue Oct 17 10:45:51 2000 +0200
+++ b/doc-src/TutorialI/tutorial.tex Tue Oct 17 13:28:57 2000 +0200
@@ -66,6 +66,7 @@
\input{basics}
\input{fp}
\chapter{The Rules of the Game}
+\label{ch:Rules}
\input{sets}
\input{Inductive/inductive}
\input{Advanced/advanced}