--- a/src/HOL/IMP/Sem_Equiv.thy Mon Nov 11 10:10:28 2013 +0100 +++ b/src/HOL/IMP/Sem_Equiv.thy Mon Nov 11 10:23:01 2013 +0100 @@ -1,3 +1,5 @@ +header "Constant Folding" + theory Sem_Equiv imports Big_Step begin