src/HOL/IMP/Abs_Int1.thy

--- a/src/HOL/IMP/Abs_Int1.thy	Wed Dec 26 16:07:28 2018 +0100
+++ b/src/HOL/IMP/Abs_Int1.thy	Wed Dec 26 16:25:20 2018 +0100
@@ -6,7 +6,7 @@
 imports Abs_State
 begin
 
-text\<open>Abstract interpretation over type @{text st} instead of functions.\<close>
+text\<open>Abstract interpretation over type \<open>st\<close> instead of functions.\<close>
 
 context Gamma_semilattice
 begin