changeset 46950 | d0181abdbdac |
parent 46417 | 1a68fcb80b62 |
child 47203 | ac625d8346b2 |
--- a/src/HOL/Quickcheck_Exhaustive.thy Thu Mar 15 20:07:00 2012 +0100 +++ b/src/HOL/Quickcheck_Exhaustive.thy Thu Mar 15 22:08:53 2012 +0100 @@ -4,6 +4,7 @@ theory Quickcheck_Exhaustive imports Quickcheck +keywords "quickcheck_generator" :: thy_decl uses ("Tools/Quickcheck/exhaustive_generators.ML") ("Tools/Quickcheck/abstract_generators.ML")