1.1 --- a/test/Tools/isac/Test_Isac_Short.thy	Wed Aug 03 18:17:27 2022 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac_Short.thy	Thu Aug 04 12:48:37 2022 +0200
     1.3 @@ -145,19 +145,12 @@
     1.4  \<close> ML \<open> (*//---------------- adhoc inserted ------------------------------------------------\\*)
     1.5  \<close> ML \<open>
     1.6  \<close> ML \<open> (*\\---------------- adhoc inserted ------------------------------------------------//*)
     1.7 -Rewrite.trace_on := false;
     1.8  \<close>
     1.9  ML \<open>
    1.10  \<close> ML \<open>
    1.11  \<close> ML \<open>
    1.12  \<close> ML \<open>
    1.13  \<close> ML \<open>
    1.14 -\<close> ML \<open>
    1.15 -\<close> ML \<open>
    1.16 -\<close> ML \<open>
    1.17 -\<close> ML \<open>
    1.18 -\<close> ML \<open>
    1.19 -\<close> ML \<open>
    1.20  \<close>
    1.21  
    1.22  ML \<open>
    1.23 @@ -333,12 +326,6 @@
    1.24  \<close> ML \<open>
    1.25  \<close> ML \<open>
    1.26  \<close> ML \<open>
    1.27 -\<close> ML \<open>
    1.28 -\<close> ML \<open>
    1.29 -\<close> ML \<open>
    1.30 -\<close> ML \<open>
    1.31 -\<close> ML \<open>
    1.32 -\<close> ML \<open>
    1.33  \<close>
    1.34  
    1.35  section \<open>history of tests\<close>