--- a/src/HOL/IsaMakefile Tue Aug 17 16:44:21 2010 +0200
+++ b/src/HOL/IsaMakefile Tue Aug 17 16:44:24 2010 +0200
@@ -213,7 +213,6 @@
Tools/sat_funcs.ML \
Tools/sat_solver.ML \
Tools/split_rule.ML \
- Tools/typedef_codegen.ML \
Tools/typedef.ML \
Transitive_Closure.thy \
Typedef.thy \