--- 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
*)