1.1 --- a/test/Tools/isac/Test_Isac.thy	Wed Aug 03 13:22:36 2022 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Wed Aug 03 17:18:47 2022 +0200
     1.3 @@ -150,12 +150,6 @@
     1.4  \<close> ML \<open>
     1.5  \<close> ML \<open>
     1.6  \<close> ML \<open>
     1.7 -\<close> ML \<open>
     1.8 -\<close> ML \<open>
     1.9 -\<close> ML \<open>
    1.10 -\<close> ML \<open>
    1.11 -\<close> ML \<open>
    1.12 -\<close> ML \<open>
    1.13  \<close>
    1.14  
    1.15  ML \<open>
    1.16 @@ -329,12 +323,6 @@
    1.17  \<close> ML \<open>
    1.18  \<close> ML \<open>
    1.19  \<close> ML \<open>
    1.20 -\<close> ML \<open>
    1.21 -\<close> ML \<open>
    1.22 -\<close> ML \<open>
    1.23 -\<close> ML \<open>
    1.24 -\<close> ML \<open>
    1.25 -\<close> ML \<open>
    1.26  \<close>
    1.27  
    1.28  section \<open>history of tests\<close>