--- a/src/Pure/ROOT Wed Nov 28 16:09:05 2012 +0100
+++ b/src/Pure/ROOT Wed Nov 28 17:18:53 2012 +0100
@@ -140,6 +140,8 @@
"ML/ml_env.ML"
"ML/ml_lex.ML"
"ML/ml_parse.ML"
+ "ML/ml_statistics_dummy.ML"
+ "ML/ml_statistics_polyml-5.5.0.ML"
"ML/ml_syntax.ML"
"ML/ml_thms.ML"
"PIDE/command.ML"