changeset 46497 | 89ccf66aa73d |
parent 46026 | 83caa4f4bd56 |
child 46961 | 5c6955f487e5 |
--- a/src/Tools/Code/code_preproc.ML Wed Feb 15 22:44:31 2012 +0100 +++ b/src/Tools/Code/code_preproc.ML Wed Feb 15 23:19:30 2012 +0100 @@ -117,7 +117,7 @@ |> Conv.fconv_rule (Conv.arg1_conv (Thm.beta_conversion false)); in ct - |> fold_rev Thm.cabs all_vars + |> fold_rev Thm.lambda all_vars |> conv |> fold apply_beta all_vars end;