src/HOL/Word/Word.thy

   for n :: "'a::len word"
   by unat_arith
 
 declare bin_to_bl_def [simp]
 
-ML_file "Tools/word_lib.ML"
-ML_file "Tools/smt_word.ML"
+ML_file \<open>Tools/word_lib.ML\<close>
+ML_file \<open>Tools/smt_word.ML\<close>
 
 hide_const (open) Word
 
 end