# HG changeset patch
# User boehmes
# Date 1311161394 -7200
# Node ID c92df8144681537fa810ccb56c23fdcc228e02b7
# Parent  cb7914f6e9b387ec28877ae218e87700e8f8bc6f
more precise dependencies

diff -r cb7914f6e9b3 -r c92df8144681 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Wed Jul 20 13:27:01 2011 +0200
+++ b/src/HOL/IsaMakefile	Wed Jul 20 13:29:54 2011 +0200
@@ -310,6 +310,7 @@
   Tools/code_evaluation.ML \
   Tools/groebner.ML \
   Tools/int_arith.ML \
+  Tools/lambda_lifting.ML \
   Tools/list_code.ML \
   Tools/list_to_set_comprehension.ML \
   Tools/monomorph.ML \