src/HOLCF/Lift.thy

--- a/src/HOLCF/Lift.thy	Thu Jul 10 17:14:41 2003 +0200
+++ b/src/HOLCF/Lift.thy	Fri Jul 11 13:54:26 2003 +0200
@@ -289,7 +289,7 @@
   done
 
 text {*
-  \medskip Extension of cont_tac and installation of simplifier.
+  \medskip Extension of @{text cont_tac} and installation of simplifier.
 *}
 
 lemma cont2cont_CF1L_rev2: "(!!y. cont (%x. c1 x y)) ==> cont c1"