--- a/src/Pure/ROOT Mon Oct 13 20:29:30 2014 +0200 +++ b/src/Pure/ROOT Mon Oct 13 20:51:48 2014 +0200 @@ -228,7 +228,6 @@ "global_theory.ML" "goal.ML" "goal_display.ML" - "interpretation.ML" "item_net.ML" "library.ML" "logic.ML"