1.1 --- a/test/Tools/isac/Test_Isac_Short.thy	Sun Oct 09 09:01:29 2022 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac_Short.thy	Wed Oct 19 10:43:04 2022 +0200
     1.3 @@ -142,9 +142,10 @@
     1.4  (*if*) (*then*); (*else*);   (*case*) (*of*);  (*return value*); (*in*) (*end*);
     1.5  "xx"
     1.6  ^ "xxx"   (*+*) (*+++*) (*!for return!*) (*isa*) (*REP*) (**)
     1.7 -\<close> ML \<open> (*//---------------- adhoc inserted ------------------------------------------------\\*)
     1.8 -\<close> ML \<open>
     1.9 -\<close> ML \<open> (*\\---------------- adhoc inserted ------------------------------------------------//*)
    1.10 +\<close> ML \<open> (*//----------- adhoc inserted n ----------------------------------------------------\\*)
    1.11 + (*//----------------- adhoc inserted n ----------------------------------------------------\\*)
    1.12 +(*\\------------------ adhoc inserted n ----------------------------------------------------//*)
    1.13 +\<close> ML \<open> (*\\----------- adhoc inserted n ----------------------------------------------------//*)
    1.14  \<close>
    1.15  ML \<open>
    1.16  \<close> ML \<open>
    1.17 @@ -299,7 +300,7 @@
    1.18    ML_file "Knowledge/eqsystem-1a.sml"
    1.19    ML_file "Knowledge/eqsystem-2.sml"
    1.20    ML_file "Knowledge/test.sml"
    1.21 -  ML_file "Knowledge/polyminus.sml"
    1.22 +  ML_file "Knowledge/polyminus.sml"     
    1.23    ML_file "Knowledge/vect.sml"
    1.24    ML_file "Knowledge/diff-app.sml"        (* postponed to dev. specification | TP-prog. *)
    1.25    ML_file "Knowledge/biegelinie-1.sml"