src/HOL/IMP/Sem_Equiv.thy
changeset 54296 111ecbaa09f7
parent 52121 5b889b1b465b
child 54297 3fc1b77ef750
     1.1 --- a/src/HOL/IMP/Sem_Equiv.thy	Sun Nov 10 15:05:06 2013 +0100
     1.2 +++ b/src/HOL/IMP/Sem_Equiv.thy	Mon Nov 11 10:10:28 2013 +0100
     1.3 @@ -1,9 +1,9 @@
     1.4 -header "Semantic Equivalence up to a Condition"
     1.5 -
     1.6  theory Sem_Equiv
     1.7  imports Big_Step
     1.8  begin
     1.9  
    1.10 +subsection "Semantic Equivalence up to a Condition"
    1.11 +
    1.12  type_synonym assn = "state \<Rightarrow> bool"
    1.13  
    1.14  definition