
diff -r fcedd5bd6a35 -r 75154f4d4e2f ProgTutorial/Package/Ind_Code.thy
--- a/ProgTutorial/Package/Ind_Code.thy	Tue Mar 31 15:53:12 2009 +0100
+++ b/ProgTutorial/Package/Ind_Code.thy	Tue Mar 31 16:50:13 2009 +0100
@@ -1065,7 +1065,7 @@
                  OuterKeyword.thy_decl specification*}
 
 
-section {* Extensions *}
+section {* Extensions (TBD) *}
 
 text {*
   Things to include at the end:




