--- a/CookBook/FirstSteps.thy	Sat Feb 14 00:24:05 2009 +0000
+++ b/CookBook/FirstSteps.thy	Sat Feb 14 13:20:21 2009 +0000
@@ -523,6 +523,8 @@
 
 *}
 
+section {* Theories and Local Theories *}
+
 section {* Storing Theorems *}
 
 text {* @{ML PureThy.add_thms_dynamic} *}