
diff -r d732e8e2f17c -r a3edc91cfe1f test/Tools/isac/Test_Isac.thy
--- a/test/Tools/isac/Test_Isac.thy	Fri Aug 24 14:23:13 2018 +0200
+++ b/test/Tools/isac/Test_Isac.thy	Mon Aug 27 15:57:45 2018 +0200
@@ -115,11 +115,11 @@
 (*\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*)
 *}
 
-ML {*
+ML \<open>
 "~~~~~ fun xxx, args:"; val () = ();
-*} ML {*
-*} ML {*
-*}
+\<close> ML \<open>
+\<close> ML \<open>
+\<close>
 
 ML {*
   KEStore_Elems.set_ref_thy @{theory};




