hiding randompred definitions
authorbulwahn
Tue Oct 27 09:03:56 2009 +0100 (2009-10-27)
changeset 33254d0c00b81db1d
parent 33253 d9ca0c3bf680
child 33255 75b01355e5d4
hiding randompred definitions
src/HOL/Quickcheck.thy
     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