src/HOLCF/Bifinite.thy

--- a/src/HOLCF/Bifinite.thy	Thu Jan 22 09:04:45 2009 +0100
+++ b/src/HOLCF/Bifinite.thy	Thu Jan 22 09:04:46 2009 +0100
@@ -10,7 +10,7 @@
 
 subsection {* Omega-profinite and bifinite domains *}
 
-class profinite = cpo +
+class profinite =
   fixes approx :: "nat \<Rightarrow> 'a \<rightarrow> 'a"
   assumes chain_approx [simp]: "chain approx"
   assumes lub_approx_app [simp]: "(\<Squnion>i. approx i\<cdot>x) = x"