--- a/src/Pure/ROOT Sun Feb 16 17:17:26 2014 +0100
+++ b/src/Pure/ROOT Sun Feb 16 17:25:03 2014 +0100
@@ -151,7 +151,6 @@
"ML/ml_statistics_dummy.ML"
"ML/ml_statistics_polyml-5.5.0.ML"
"ML/ml_syntax.ML"
- "ML/ml_thms.ML"
"PIDE/active.ML"
"PIDE/command.ML"
"PIDE/document.ML"