src/HOL/Predicate_Compile_Examples/Context_Free_Grammar_Example.thy
changeset 39800 17e29ddd538e
parent 39463 7ce0ed8dc4d6
child 40301 bf39a257b3d3
     1.1 --- a/src/HOL/Predicate_Compile_Examples/Context_Free_Grammar_Example.thy	Thu Sep 30 10:48:12 2010 +0200
     1.2 +++ b/src/HOL/Predicate_Compile_Examples/Context_Free_Grammar_Example.thy	Thu Sep 30 10:48:12 2010 +0200
     1.3 @@ -58,6 +58,7 @@
     1.4  
     1.5  setup {* Code_Prolog.map_code_options (K
     1.6    {ensure_groundness = true,
     1.7 +  limit_globally = NONE,
     1.8    limited_types = [],
     1.9    limited_predicates = [(["s1", "a1", "b1"], 2)],
    1.10    replacing = [(("s1", "limited_s1"), "quickcheck")],
    1.11 @@ -81,6 +82,7 @@
    1.12  
    1.13  setup {* Code_Prolog.map_code_options (K
    1.14    {ensure_groundness = true,
    1.15 +  limit_globally = NONE,
    1.16    limited_types = [],
    1.17    limited_predicates = [(["s2", "a2", "b2"], 3)],
    1.18    replacing = [(("s2", "limited_s2"), "quickcheck")],
    1.19 @@ -103,6 +105,7 @@
    1.20  
    1.21  setup {* Code_Prolog.map_code_options (K
    1.22    {ensure_groundness = true,
    1.23 +  limit_globally = NONE,
    1.24    limited_types = [],
    1.25    limited_predicates = [(["s3", "a3", "b3"], 6)],
    1.26    replacing = [(("s3", "limited_s3"), "quickcheck")],
    1.27 @@ -117,6 +120,7 @@
    1.28  (*
    1.29  setup {* Code_Prolog.map_code_options (K
    1.30    {ensure_groundness = true,
    1.31 +  limit_globally = NONE,
    1.32    limited_types = [],
    1.33    limited_predicates = [],
    1.34    replacing = [],
    1.35 @@ -143,6 +147,7 @@
    1.36  
    1.37  setup {* Code_Prolog.map_code_options (K
    1.38    {ensure_groundness = true,
    1.39 +  limit_globally = NONE,
    1.40    limited_types = [],
    1.41    limited_predicates = [(["s4", "a4", "b4"], 6)],
    1.42    replacing = [(("s4", "limited_s4"), "quickcheck")],