diff -r 5baaabe1ab92 -r 4d0e2edd476d CookBook/Appendix.thy
--- 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 *}