1.1 --- a/src/Tools/isac/Knowledge/Isac.thy	Fri May 10 15:59:58 2019 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/Isac.thy	Mon May 27 19:28:40 2019 +0200
     1.3 @@ -24,5 +24,11 @@
     1.4  \<close>
     1.5  
     1.6  ML \<open>val version_isac = "isac version 120504 15:33";\<close>
     1.7 +ML \<open>
     1.8 +"~~~~~ fun xxx , args:"; val () = ();
     1.9 +\<close> ML \<open>
    1.10 +\<close> ML \<open>
    1.11 +"~~~~~ fun xxx , args:"; val () = ();
    1.12 +\<close>
    1.13  
    1.14  end