--- a/ProgTutorial/Tactical.thy	Tue Mar 31 15:48:53 2009 +0100
+++ b/ProgTutorial/Tactical.thy	Tue Mar 31 15:53:12 2009 +0100
@@ -2081,6 +2081,8 @@
 *}
 
 
+section {* Declarations (TBD) *}
+
 section {* Structured Proofs (TBD) *}
 
 text {* TBD *}