recovered header;
authorwenzelm
Mon Mar 22 20:58:52 2010 +0100 (2010-03-22)
changeset 35898c890a3835d15
parent 35897 8758895ea413
child 35899 e810f73c8ee2
recovered header;
src/HOL/Predicate_Compile.thy
     1.1 --- a/src/HOL/Predicate_Compile.thy	Mon Mar 22 19:29:11 2010 +0100
     1.2 +++ b/src/HOL/Predicate_Compile.thy	Mon Mar 22 20:58:52 2010 +0100
     1.3 @@ -1,4 +1,3 @@
     1.4 -
     1.5  (*  Title:      HOL/Predicate_Compile.thy
     1.6      Author:     Stefan Berghofer, Lukas Bulwahn, Florian Haftmann, TU Muenchen
     1.7  *)