src/HOL/Product_Type.thy
changeset 18708 4b3dadb4fe33
parent 18706 1e7562c7afe6
child 18757 f0d901bc0686
     1.1 --- a/src/HOL/Product_Type.thy	Thu Jan 19 15:45:10 2006 +0100
     1.2 +++ b/src/HOL/Product_Type.thy	Thu Jan 19 21:22:08 2006 +0100
     1.3 @@ -885,14 +885,13 @@
     1.4  
     1.5  in
     1.6  
     1.7 -val prod_codegen_setup = [
     1.8 -  Codegen.add_codegen "let_codegen" let_codegen,
     1.9 -  Codegen.add_codegen "split_codegen" split_codegen,
    1.10 +val prod_codegen_setup =
    1.11 +  Codegen.add_codegen "let_codegen" let_codegen #>
    1.12 +  Codegen.add_codegen "split_codegen" split_codegen #>
    1.13    CodegenPackage.add_appconst
    1.14 -    ("Let", ((2, 2), CodegenPackage.appgen_let strip_abs)),
    1.15 +    ("Let", ((2, 2), CodegenPackage.appgen_let strip_abs)) #>
    1.16    CodegenPackage.add_appconst
    1.17 -    ("split", ((1, 1), CodegenPackage.appgen_split strip_abs))
    1.18 -];
    1.19 +    ("split", ((1, 1), CodegenPackage.appgen_split strip_abs));
    1.20  
    1.21  end;
    1.22  *}