hiding fact not so aggressively
authorbulwahn
Fri Mar 30 08:19:29 2012 +0200 (2012-03-30)
changeset 47203ac625d8346b2
parent 47201 06e6f352df1b
child 47204 6212bcc94bb0
hiding fact not so aggressively
src/HOL/Quickcheck_Exhaustive.thy
     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