1.1 --- a/test/Tools/isac/Test_Isac_Short.thy	Mon Jul 19 17:29:35 2021 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac_Short.thy	Mon Jul 19 18:29:46 2021 +0200
     1.3 @@ -329,9 +329,7 @@
     1.4    ML \<open>"%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%";\<close>
     1.5  ML \<open>
     1.6  \<close> ML \<open>
     1.7 -@{term Let}
     1.8  \<close> ML \<open>
     1.9 -val Const (\<^const_name>\<open>Let\<close>, _) = @{term Let}
    1.10  \<close> ML \<open>
    1.11  \<close> ML \<open>
    1.12  \<close> ML \<open>