--- a/src/Pure/ROOT Tue Apr 05 22:31:28 2016 +0200 +++ b/src/Pure/ROOT Wed Apr 06 11:37:37 2016 +0200 @@ -5,5 +5,3 @@ Pure theories ML_Root - files - "ROOT.ML"