diff -r a7462e442e35 -r 6d19301074cf src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Mon Jan 10 22:03:24 2011 +0100
+++ b/src/HOL/IsaMakefile	Tue Jan 11 14:12:37 2011 +0100
@@ -241,7 +241,7 @@
   Tools/split_rule.ML \
   Tools/try.ML \
   Tools/typedef.ML \
-  Tools/type_lifting.ML \
+  Tools/enriched_type.ML \
   Transitive_Closure.thy \
   Typedef.thy \
   Wellfounded.thy