--- a/src/HOL/IMP/Fold.thy Mon Nov 11 10:10:28 2013 +0100
+++ b/src/HOL/IMP/Fold.thy Mon Nov 11 10:23:01 2013 +0100
@@ -1,5 +1,3 @@
-header "Constant Folding"
-
theory Fold imports Sem_Equiv Vars begin
subsection "Simple folding of arithmetic expressions"