diff -r b8920f3fd259 -r 89ccf66aa73d src/Tools/Code/code_preproc.ML
--- 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;