--- a/src/Pure/ROOT Tue Apr 05 21:23:32 2016 +0200 +++ b/src/Pure/ROOT Tue Apr 05 21:51:14 2016 +0200 @@ -4,6 +4,6 @@ global_theories Pure theories - "ML/ML_Root" + ML_Root files "ROOT.ML"