1.1 --- a/test/Tools/isac/Test_Theory.thy	Wed Nov 27 18:47:26 2019 +0100
     1.2 +++ b/test/Tools/isac/Test_Theory.thy	Fri Nov 29 15:22:29 2019 +0100
     1.3 @@ -9,12 +9,16 @@
     1.4  ML \<open>
     1.5  "~~~~~ fun xxx , args:"; val () = ();
     1.6  "~~~~~ and xxx , args:"; val () = ();
     1.7 -"~~~~~ from xxx -> fun yyy -> fun zzz, return val:"; val () = ();
     1.8 +"~~~~~ from fun xxx\<longrightarrow>fun yyy\<longrightarrow>fun zzz, return val:"; val () = ();
     1.9  (*if*) (*then*); (*else*);   (*case*) (*of*);  (*return value*);
    1.10  "xx"
    1.11  ^ "xxx"   (*+*) (*!for return!*) (*isa*) (*REP*)
    1.12  \<close> ML \<open>
    1.13  \<close>
    1.14 +ML \<open>
    1.15 +\<close> ML \<open>
    1.16 +\<close> ML \<open>
    1.17 +\<close>
    1.18  text \<open>
    1.19    declare [[show_types]] 
    1.20    declare [[show_sorts]]