src/HOL/Lambda/ParRed.thy
changeset 25972 94b15338da8d
parent 23750 a1db5f819d00
child 35440 bdf8ad377877
     1.1 --- a/src/HOL/Lambda/ParRed.thy	Fri Jan 25 22:04:46 2008 +0100
     1.2 +++ b/src/HOL/Lambda/ParRed.thy	Fri Jan 25 23:05:23 2008 +0100
     1.3 @@ -55,7 +55,7 @@
     1.4    done
     1.5  
     1.6  
     1.7 -subsection {* Misc properties of par-beta *}
     1.8 +subsection {* Misc properties of @{text "par_beta"} *}
     1.9  
    1.10  lemma par_beta_lift [simp]:
    1.11      "t => t' \<Longrightarrow> lift t n => lift t' n"