src/HOL/HOLCF/IOA/Abstraction.thy

--- a/src/HOL/HOLCF/IOA/Abstraction.thy	Thu Jul 02 08:49:04 2020 +0000
+++ b/src/HOL/HOLCF/IOA/Abstraction.thy	Thu Jul 02 12:10:58 2020 +0000
@@ -296,7 +296,6 @@
   apply (simp add: nil_is_Conc)
   text \<open>cons case\<close>
   apply (pair aa)
-  apply auto
   done
 
 (* important property of ex2seq: can be shiftet, as defined "pointwise" *)