--- a/CookBook/Appendix.thy	Tue Mar 17 11:47:01 2009 +0100
+++ b/CookBook/Appendix.thy	Tue Mar 17 12:26:34 2009 +0100
@@ -3,6 +3,7 @@
 imports Main
 begin
 
+
 text {* \appendix *}