
diff -r fcedd5bd6a35 -r 75154f4d4e2f ProgTutorial/Package/Ind_Intro.thy
--- a/ProgTutorial/Package/Ind_Intro.thy	Tue Mar 31 15:53:12 2009 +0100
+++ b/ProgTutorial/Package/Ind_Intro.thy	Tue Mar 31 16:50:13 2009 +0100
@@ -2,7 +2,7 @@
 imports Main 
 begin
 
-chapter {* How to Write a Definitional Package\label{chp:package} (TBD) *}
+chapter {* How to Write a Definitional Package\label{chp:package} *}
 
 text {*
   \begin{flushright}




