src/HOL/Quickcheck.thy
changeset 35028 108662d50512
parent 34968 ceeffca32eb0
child 35880 2623b23e41fc
--- a/src/HOL/Quickcheck.thy	Fri Feb 05 14:33:31 2010 +0100
+++ b/src/HOL/Quickcheck.thy	Fri Feb 05 14:33:50 2010 +0100
@@ -164,7 +164,7 @@
 where
   "union R1 R2 = (\<lambda>s. let
      (P1, s') = R1 s; (P2, s'') = R2 s'
-   in (upper_semilattice_class.sup P1 P2, s''))"
+   in (semilattice_sup_class.sup P1 P2, s''))"
 
 definition if_randompred :: "bool \<Rightarrow> unit randompred"
 where