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