
diff -r c39f83d8daeb -r 26e5b41faa74 CookBook/Package/Ind_Intro.thy
--- a/CookBook/Package/Ind_Intro.thy	Sun Feb 15 18:58:21 2009 +0000
+++ b/CookBook/Package/Ind_Intro.thy	Mon Feb 16 17:17:24 2009 +0000
@@ -2,7 +2,7 @@
 imports Main 
 begin
 
-chapter {* How to Write a Definitional Package *}
+chapter {* How to Write a Definitional Package\label{chp:package} *}
 
 text {*
   \begin{flushright}




