src/HOLCF/Ssum.thy
changeset 35900 aa5dfb03eb1e
parent 35783 38538bfe9ca6
child 36452 d37c6eed8117
     1.1 --- a/src/HOLCF/Ssum.thy	Mon Mar 22 19:29:11 2010 +0100
     1.2 +++ b/src/HOLCF/Ssum.thy	Mon Mar 22 12:52:51 2010 -0700
     1.3 @@ -58,7 +58,7 @@
     1.4  lemma Rep_Ssum_sinr: "Rep_Ssum (sinr\<cdot>b) = (strictify\<cdot>(\<Lambda> _. FF)\<cdot>b, \<bottom>, b)"
     1.5  by (simp add: sinr_Abs_Ssum Abs_Ssum_inverse sinr_Ssum)
     1.6  
     1.7 -subsection {* Properties of @{term sinl} and @{term sinr} *}
     1.8 +subsection {* Properties of \emph{sinl} and \emph{sinr} *}
     1.9  
    1.10  text {* Ordering *}
    1.11