fixed crossref
Mon, 23 Oct 2000 17:38:07 +0200
changeset 10302 74be38751d06
parent 10301 8a5aa26c125f
child 10303 0bea1c33abef
fixed crossref
--- a/doc-src/TutorialI/ToyList/ToyList.thy	Mon Oct 23 17:37:49 2000 +0200
+++ b/doc-src/TutorialI/ToyList/ToyList.thy	Mon Oct 23 17:38:07 2000 +0200
@@ -188,7 +188,7 @@
 The prefix of bound variables \isasymAnd$x\sb{1}$~\dots~$x\sb{n}$ can be
 ignored most of the time, or simply treated as a list of variables local to
-this subgoal. Their deeper significance is explained in Chapter~\ref{ch:Rules}.
+this subgoal. Their deeper significance is explained in Chapter~\ref{chap:rules}.
 The {\it assumptions} are the local assumptions for this subgoal and {\it
   conclusion} is the actual proposition to be proved. Typical proof steps
 that add new assumptions are induction or case distinction. In our example