
diff -r b729345319f0 -r 978a3c2ed7ce CookBook/NamedThms.thy
--- a/CookBook/NamedThms.thy	Wed Sep 03 18:29:48 2008 +0200
+++ b/CookBook/NamedThms.thy	Fri Sep 05 09:47:51 2008 +0200
@@ -3,8 +3,10 @@
 imports Main
 begin
 
+
+chapter {* Recipes *}
+
 text_raw {* 
-\newpage
 
 \section*{Accumulate a list of theorems under a name} 
 *}




