src/HOL/Predicate_Compile_Examples/List_Examples.thy
changeset 52666 391913d17d15
parent 45451 74515e8e6046
child 62390 842917225d56
     1.1 --- a/src/HOL/Predicate_Compile_Examples/List_Examples.thy	Mon Jul 15 20:13:30 2013 +0200
     1.2 +++ b/src/HOL/Predicate_Compile_Examples/List_Examples.thy	Mon Jul 15 20:36:27 2013 +0200
     1.3 @@ -5,7 +5,10 @@
     1.4    "~~/src/HOL/Library/Code_Prolog"
     1.5  begin
     1.6  
     1.7 -setup {* Context.theory_map (Quickcheck.add_tester ("prolog", (Code_Prolog.active, Code_Prolog.test_goals))) *}
     1.8 +setup {*
     1.9 +  Context.theory_map
    1.10 +    (Quickcheck.add_tester ("prolog", (Code_Prolog.active, Code_Prolog.test_goals)))
    1.11 +*}
    1.12  
    1.13  setup {* Code_Prolog.map_code_options (K 
    1.14    {ensure_groundness = true,