src/HOL/Quickcheck.thy
changeset 33254 d0c00b81db1d
parent 33250 5c2af18a3237
child 33562 b1e2830ee31a
     1.1 --- a/src/HOL/Quickcheck.thy	Tue Oct 27 09:03:56 2009 +0100
     1.2 +++ b/src/HOL/Quickcheck.thy	Tue Oct 27 09:03:56 2009 +0100
     1.3 @@ -177,7 +177,7 @@
     1.4  
     1.5  code_reserved Quickcheck Quickcheck_Generators
     1.6  
     1.7 -
     1.8 +hide (open) fact empty_def single_def bind_def union_def if_randompred_def not_randompred_def Random_def map_def
     1.9  hide (open) type randompred
    1.10  hide (open) const random collapse beyond random_fun_aux random_fun_lift
    1.11    empty single bind union if_randompred not_randompred Random map