1.1 --- a/test/Tools/isac/Test_Isac.thy	Fri Aug 24 14:23:13 2018 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Mon Aug 27 15:57:45 2018 +0200
     1.3 @@ -115,11 +115,11 @@
     1.4  (*\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*)
     1.5  *}
     1.6  
     1.7 -ML {*
     1.8 +ML \<open>
     1.9  "~~~~~ fun xxx, args:"; val () = ();
    1.10 -*} ML {*
    1.11 -*} ML {*
    1.12 -*}
    1.13 +\<close> ML \<open>
    1.14 +\<close> ML \<open>
    1.15 +\<close>
    1.16  
    1.17  ML {*
    1.18    KEStore_Elems.set_ref_thy @{theory};