changeset 33140 | 83951822bfd0 |
parent 33119 | bf18c8174571 |
--- a/src/HOL/ex/Predicate_Compile.thy Sat Oct 24 16:55:42 2009 +0200 +++ b/src/HOL/ex/Predicate_Compile.thy Sat Oct 24 16:55:42 2009 +0200 @@ -12,6 +12,6 @@ begin setup {* Predicate_Compile.setup *} -setup {* Quickcheck.add_generator ("pred_compile", Pred_Compile_Quickcheck.quickcheck) *} +setup {* Quickcheck.add_generator ("pred_compile", Predicate_Compile_Quickcheck.quickcheck) *} end \ No newline at end of file