changeset 38379 | 67d71449e85b |
parent 38350 | 480b2de9927c |
child 38412 | c23f3abbf42d |
--- a/src/Pure/ROOT.ML Wed Aug 11 15:45:15 2010 +0200 +++ b/src/Pure/ROOT.ML Wed Aug 11 16:02:03 2010 +0200 @@ -209,10 +209,10 @@ use "Isar/generic_target.ML"; use "Isar/overloading.ML"; use "axclass.ML"; -use "Isar/class_target.ML"; +use "Isar/class.ML"; use "Isar/named_target.ML"; use "Isar/expression.ML"; -use "Isar/class.ML"; +use "Isar/class_declaration.ML"; use "simplifier.ML";