src/Doc/Classes/Classes.thy

   "example = pow_int 10 (-2)"
 
 text \<open>
   \<^noindent> This maps to Haskell as follows:
 \<close>
-text %quotetypewriter \<open>
+text %quote \<open>
   @{code_stmts example (Haskell)}
 \<close>
 
 text \<open>
   \<^noindent> The code in SML has explicit dictionary passing:
 \<close>
-text %quotetypewriter \<open>
+text %quote \<open>
   @{code_stmts example (SML)}
 \<close>
 
 
 text \<open>
   \<^noindent> In Scala, implicits are used as dictionaries:
 \<close>
-text %quotetypewriter \<open>
+text %quote \<open>
   @{code_stmts example (Scala)}
 \<close>
 
 
 subsection \<open>Inspecting the type class universe\<close>