
diff -r 7e0bf13bf743 -r 8084c353d196 CookBook/Package/Ind_Intro.thy
--- a/CookBook/Package/Ind_Intro.thy	Fri Feb 27 13:02:19 2009 +0000
+++ b/CookBook/Package/Ind_Intro.thy	Fri Feb 27 15:59:38 2009 +0000
@@ -2,7 +2,7 @@
 imports Main 
 begin
 
-chapter {* How to Write a Definitional Package\label{chp:package} *}
+chapter {* How to Write a Definitional Package\label{chp:package} (TBD) *}
 
 text {*
   \begin{flushright}




