diff -r c22b507e1407 -r e81ebb37aa83 CookBook/Recipes/Antiquotes.thy
--- a/CookBook/Recipes/Antiquotes.thy	Sat Feb 28 14:18:02 2009 +0000
+++ b/CookBook/Recipes/Antiquotes.thy	Sun Mar 01 21:48:59 2009 +0000
@@ -166,8 +166,6 @@
   theorems or cterms.
 
 *}
-
-
 end