--- a/src/HOL/HOLCF/Cfun.thy Tue Dec 10 22:40:07 2024 +0100
+++ b/src/HOL/HOLCF/Cfun.thy Tue Dec 10 22:59:13 2024 +0100
@@ -6,7 +6,7 @@
section \<open>The type of continuous functions\<close>
theory Cfun
- imports Cpodef Fun_Cpo Product_Cpo
+ imports Cpodef
begin
default_sort cpo