1.1 --- a/src/HOL/Predicate_Compile_Examples/Reg_Exp_Example.thy Sat Jul 23 17:22:28 2011 +0200
1.2 +++ b/src/HOL/Predicate_Compile_Examples/Reg_Exp_Example.thy Sat Jul 23 20:05:28 2011 +0200
1.3 @@ -98,7 +98,7 @@
1.4 oops
1.5
1.6
1.7 -setup {* Context.theory_map (Quickcheck.add_generator ("prolog", Code_Prolog.quickcheck)) *}
1.8 +setup {* Context.theory_map (Quickcheck.add_tester ("prolog", (Code_Prolog.active, Code_Prolog.test_goals))) *}
1.9
1.10 setup {* Code_Prolog.map_code_options (K
1.11 {ensure_groundness = true,