--- a/src/Doc/Isar_Ref/Base.thy Sun Jan 06 13:44:33 2019 +0100 +++ b/src/Doc/Isar_Ref/Base.thy Sun Jan 06 15:04:34 2019 +0100 @@ -4,6 +4,6 @@ imports Pure begin -ML_file "../antiquote_setup.ML" +ML_file \<open>../antiquote_setup.ML\<close> end