
diff -r 8758895ea413 -r c890a3835d15 src/HOL/Predicate_Compile.thy
--- a/src/HOL/Predicate_Compile.thy	Mon Mar 22 19:29:11 2010 +0100
+++ b/src/HOL/Predicate_Compile.thy	Mon Mar 22 20:58:52 2010 +0100
@@ -1,4 +1,3 @@
-
 (*  Title:      HOL/Predicate_Compile.thy
     Author:     Stefan Berghofer, Lukas Bulwahn, Florian Haftmann, TU Muenchen
 *)




