
diff -r 796c6ea633b3 -r 5f003fdf2653 CookBook/FirstSteps.thy
--- 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} *}




