diff -r c8a2755bf220 -r ff784d5a5bfb src/HOL/IMP/C_like.thy
--- a/src/HOL/IMP/C_like.thy	Sat Jan 05 17:00:43 2019 +0100
+++ b/src/HOL/IMP/C_like.thy	Sat Jan 05 17:24:33 2019 +0100
@@ -59,7 +59,7 @@
  DO ( N 2 ::= Plus (!(N 2)) (!(!(N 0)));
       N 0 ::= Plus (!(N 0)) (N 1) )"
 
-text \<open>To show the first n variables in a @{typ "nat \<Rightarrow> nat"} state:\<close>
+text \<open>To show the first n variables in a \<^typ>\<open>nat \<Rightarrow> nat\<close> state:\<close>
 definition 
   "list t n = map t [0 ..< n]"