changeset 38379 | 67d71449e85b |
parent 38350 | 480b2de9927c |
child 38412 | c23f3abbf42d |
--- a/src/Pure/IsaMakefile Wed Aug 11 15:45:15 2010 +0200 +++ b/src/Pure/IsaMakefile Wed Aug 11 16:02:03 2010 +0200 @@ -111,7 +111,7 @@ Isar/auto_bind.ML \ Isar/calculation.ML \ Isar/class.ML \ - Isar/class_target.ML \ + Isar/class_declaration.ML \ Isar/code.ML \ Isar/constdefs.ML \ Isar/context_rules.ML \