--- 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