# HG changeset patch
# User oheimb
# Date 1057924466 -7200
# Node ID f79d139c7e46815685ac5a3ed84bd4531e787b9c
# Parent  a1ba833d6b61d61f1573bb10cbd4b254f5816eab
corrected markup text

diff -r a1ba833d6b61 -r f79d139c7e46 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"