diff -r ce09935439b3 -r 2e0b7ca391dc test/Tools/isac/Test_Isac_Short.thy
--- a/test/Tools/isac/Test_Isac_Short.thy	Wed Aug 03 18:17:27 2022 +0200
+++ b/test/Tools/isac/Test_Isac_Short.thy	Thu Aug 04 12:48:37 2022 +0200
@@ -145,19 +145,12 @@
 \<close> ML \<open> (*//---------------- adhoc inserted ------------------------------------------------\\*)
 \<close> ML \<open>
 \<close> ML \<open> (*\\---------------- adhoc inserted ------------------------------------------------//*)
-Rewrite.trace_on := false;
 \<close>
 ML \<open>
 \<close> ML \<open>
 \<close> ML \<open>
 \<close> ML \<open>
 \<close> ML \<open>
-\<close> ML \<open>
-\<close> ML \<open>
-\<close> ML \<open>
-\<close> ML \<open>
-\<close> ML \<open>
-\<close> ML \<open>
 \<close>
 
 ML \<open>
@@ -333,12 +326,6 @@
 \<close> ML \<open>
 \<close> ML \<open>
 \<close> ML \<open>
-\<close> ML \<open>
-\<close> ML \<open>
-\<close> ML \<open>
-\<close> ML \<open>
-\<close> ML \<open>
-\<close> ML \<open>
 \<close>
 
 section \<open>history of tests\<close>