src/HOL/Quickcheck_Exhaustive.thy
changeset 47203 ac625d8346b2
parent 46950 d0181abdbdac
child 48891 c0eafbd55de3
     1.1 --- a/src/HOL/Quickcheck_Exhaustive.thy	Fri Mar 30 00:01:30 2012 +0100
     1.2 +++ b/src/HOL/Quickcheck_Exhaustive.thy	Fri Mar 30 08:19:29 2012 +0200
     1.3 @@ -587,7 +587,7 @@
     1.4  
     1.5  use "Tools/Quickcheck/abstract_generators.ML"
     1.6  
     1.7 -hide_fact orelse_def
     1.8 +hide_fact (open) orelse_def
     1.9  no_notation orelse (infixr "orelse" 55)
    1.10  
    1.11  hide_fact