1.1 --- a/test/Tools/isac/Test_Isac.thy Sun Oct 09 09:01:29 2022 +0200
1.2 +++ b/test/Tools/isac/Test_Isac.thy Wed Oct 19 10:43:04 2022 +0200
1.3 @@ -140,10 +140,11 @@
1.4 "~~~~~ from fun xxx \<longrightarrow>fun yyy \<longrightarrow>fun zzz , return:"; val () = ();
1.5 (*if*) (*then*); (*else*); (*case*) (*of*); (*return value*); (*in*) (*end*);
1.6 "xx"
1.7 -^ "xxx" (*+*) (*+++*) (*!for return!*) (*isa*) (*REP*) (**)
1.8 -\<close> ML \<open> (*//---------------- adhoc inserted ------------------------------------------------\\*)
1.9 -\<close> ML \<open>
1.10 -\<close> ML \<open> (*\\---------------- adhoc inserted ------------------------------------------------//*)
1.11 +^ "xxx" (*+*) (*+++*) (* keep for continuation*) (*isa*) (*isa2*) (**)
1.12 +\<close> ML \<open> (*//----------- adhoc inserted n ----------------------------------------------------\\*)
1.13 + (*//----------------- adhoc inserted n ----------------------------------------------------\\*)
1.14 +(*\\------------------ adhoc inserted n ----------------------------------------------------//*)
1.15 +\<close> ML \<open> (*\\----------- adhoc inserted n ----------------------------------------------------//*)
1.16 \<close>
1.17 ML \<open>
1.18 \<close> ML \<open>