1.1 --- a/test/Tools/isac/Test_Isac_Short.thy	Mon Sep 13 15:42:43 2021 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac_Short.thy	Mon Sep 13 16:01:48 2021 +0200
     1.3 @@ -164,7 +164,6 @@
     1.4    (*fun autoCalculate' cI auto = autoCalculate cI auto (*|> Future.join*)*);
     1.5  \<close>
     1.6  
     1.7 -(*--- comments on TOODOO after changeset "eliminate ThmC.numerals_to_Free" ARE AT THE RIGHT MARGIN*)
     1.8  section \<open>trials with Isabelle's functions\<close>
     1.9    ML \<open>"%%%%%%%%%%%%%%%%% start Isabelle %%%%%%%%%%%%%%%%%%%%%%%";\<close>
    1.10    ML_file "$ISABELLE_ISAC_TEST/Pure/General/alist.ML"