src/HOL/Predicate_Compile_Examples/Predicate_Compile_Tests.thy
changeset 55932 68c5104d2204
parent 51144 0ede9e2266a8
child 56679 5545bfdfefcc
     1.1 --- a/src/HOL/Predicate_Compile_Examples/Predicate_Compile_Tests.thy	Thu Mar 06 13:36:15 2014 +0100
     1.2 +++ b/src/HOL/Predicate_Compile_Examples/Predicate_Compile_Tests.thy	Thu Mar 06 13:36:48 2014 +0100
     1.3 @@ -1564,8 +1564,8 @@
     1.4  text {* Case expressions *}
     1.5  
     1.6  definition
     1.7 -  "map_pairs xs ys = (map (%((a, b), c). (a, b, c)) xs = ys)"
     1.8 +  "map_prods xs ys = (map (%((a, b), c). (a, b, c)) xs = ys)"
     1.9  
    1.10 -code_pred [inductify] map_pairs .
    1.11 +code_pred [inductify] map_prods .
    1.12  
    1.13  end