src/HOLCF/Up.thy
changeset 35900 aa5dfb03eb1e
parent 35783 38538bfe9ca6
child 36452 d37c6eed8117
     1.1 --- a/src/HOLCF/Up.thy	Mon Mar 22 19:29:11 2010 +0100
     1.2 +++ b/src/HOLCF/Up.thy	Mon Mar 22 12:52:51 2010 -0700
     1.3 @@ -169,7 +169,7 @@
     1.4  lemma inst_up_pcpo: "\<bottom> = Ibottom"
     1.5  by (rule minimal_up [THEN UU_I, symmetric])
     1.6  
     1.7 -subsection {* Continuity of @{term Iup} and @{term Ifup} *}
     1.8 +subsection {* Continuity of \emph{Iup} and \emph{Ifup} *}
     1.9  
    1.10  text {* continuity for @{term Iup} *}
    1.11