1.1 --- a/test/Tools/isac/Test_Isac_Short.thy	Tue Aug 03 19:16:27 2021 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac_Short.thy	Tue Aug 03 19:40:02 2021 +0200
     1.3 @@ -163,8 +163,7 @@
     1.4    (*fun autoCalculate' cI auto = autoCalculate cI auto (*|> Future.join*)*);
     1.5  \<close>
     1.6  
     1.7 -(*----- comments on tests with TOODOO after changeset "eliminate ThmC.numerals_to_Free" 
     1.8 -  -------------------------------------------------------------------------ARE AT THE RIGHT MARGIN*)
     1.9 +(*--- comments on TOODOO after changeset "eliminate ThmC.numerals_to_Free" ARE AT THE RIGHT MARGIN*)
    1.10  section \<open>trials with Isabelle's functions\<close>
    1.11    ML \<open>"%%%%%%%%%%%%%%%%% start Isabelle %%%%%%%%%%%%%%%%%%%%%%%";\<close>
    1.12    ML_file "$ISABELLE_ISAC_TEST/Pure/General/alist.ML"