src/HOLCF/Up.thy

--- a/src/HOLCF/Up.thy	Mon Mar 22 19:29:11 2010 +0100
+++ b/src/HOLCF/Up.thy	Mon Mar 22 12:52:51 2010 -0700
@@ -169,7 +169,7 @@
 lemma inst_up_pcpo: "\<bottom> = Ibottom"
 by (rule minimal_up [THEN UU_I, symmetric])
 
-subsection {* Continuity of @{term Iup} and @{term Ifup} *}
+subsection {* Continuity of \emph{Iup} and \emph{Ifup} *}
 
 text {* continuity for @{term Iup} *}