
diff -r 95461cf6fd07 -r 5fc2fb34c323 ProgTutorial/Parsing.thy
--- a/ProgTutorial/Parsing.thy	Fri Jan 01 00:19:11 2010 +0100
+++ b/ProgTutorial/Parsing.thy	Fri Jan 08 21:31:45 2010 +0100
@@ -12,7 +12,7 @@
 *}
 (*>*)
 
-chapter {* Parsing *}
+chapter {* Parsing\label{chp:parsing} *}
 
 text {*
   Isabelle distinguishes between \emph{outer} and \emph{inner}




