--- a/src/Pure/IsaMakefile Wed Sep 08 10:45:55 2010 +0200
+++ b/src/Pure/IsaMakefile Wed Sep 08 13:22:24 2010 +0200
@@ -112,7 +112,6 @@
Isar/class.ML \
Isar/class_declaration.ML \
Isar/code.ML \
- Isar/constdefs.ML \
Isar/context_rules.ML \
Isar/element.ML \
Isar/expression.ML \