# HG changeset patch
# User wenzelm
# Date 1269287932 -3600
# Node ID c890a3835d15df0cd708cc385f87aed139e630b1
# Parent  8758895ea4136b0cdae6496c53a605740ca194f3
recovered header;

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