
diff -r cccbfa567117 -r b69e4da2604b src/HOL/Library/Sublist.thy
--- a/src/HOL/Library/Sublist.thy	Fri Jun 06 18:36:29 2025 +0100
+++ b/src/HOL/Library/Sublist.thy	Mon Jun 09 22:14:38 2025 +0200
@@ -1462,7 +1462,7 @@
   case (1 P xs ys)
   show ?case
     by (induction ys arbitrary: xs)
-       (auto simp: list_emb_code List.null_def split: list.splits)
+       (auto simp: list_emb_code split: list.splits)
 qed
 
 lemma prefix_transfer [transfer_rule]:




