diff -r 7b8c4fe235aa -r bcbcf5c839ae CookBook/Appendix.thy
--- a/CookBook/Appendix.thy	Wed Jan 14 23:44:14 2009 +0000
+++ b/CookBook/Appendix.thy	Thu Jan 15 13:42:28 2009 +0000
@@ -7,7 +7,6 @@
 
 chapter {* Recipes *}
 
-
 end