1.1 --- a/src/Pure/IsaMakefile	Wed Sep 08 10:45:55 2010 +0200
     1.2 +++ b/src/Pure/IsaMakefile	Wed Sep 08 13:22:24 2010 +0200
     1.3 @@ -112,7 +112,6 @@
     1.4    Isar/class.ML						\
     1.5    Isar/class_declaration.ML				\
     1.6    Isar/code.ML						\
     1.7 -  Isar/constdefs.ML					\
     1.8    Isar/context_rules.ML					\
     1.9    Isar/element.ML					\
    1.10    Isar/expression.ML					\