--- a/src/Doc/Logics_ZF/ZF_Isar.thy Sun Jan 06 13:44:33 2019 +0100
+++ b/src/Doc/Logics_ZF/ZF_Isar.thy Sun Jan 06 15:04:34 2019 +0100
@@ -3,7 +3,7 @@
begin
(*<*)
-ML_file "../antiquote_setup.ML"
+ML_file \<open>../antiquote_setup.ML\<close>
(*>*)
chapter \<open>Some Isar language elements\<close>