adapting example in Predicate_Compile_Examples
authorbulwahn
Wed Jul 20 08:16:38 2011 +0200 (2011-07-20)
changeset 43913003f8c5f3e37
parent 43912 13e6a4e70219
child 43914 64819f353c53
adapting example in Predicate_Compile_Examples
src/HOL/Predicate_Compile_Examples/Context_Free_Grammar_Example.thy
     1.1 --- a/src/HOL/Predicate_Compile_Examples/Context_Free_Grammar_Example.thy	Wed Jul 20 08:16:36 2011 +0200
     1.2 +++ b/src/HOL/Predicate_Compile_Examples/Context_Free_Grammar_Example.thy	Wed Jul 20 08:16:38 2011 +0200
     1.3 @@ -19,7 +19,7 @@
     1.4  declare size_list_def[symmetric, code_pred_inline]
     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  datatype alphabet = a | b
    1.11