src/Pure/ROOT

--- a/src/Pure/ROOT	Sun Dec 06 17:27:42 2015 +0100
+++ b/src/Pure/ROOT	Sun Dec 06 23:10:08 2015 +0100
@@ -7,26 +7,26 @@
     "ML-Systems/compiler_polyml.ML"
     "ML-Systems/exn_trace_polyml-5.5.1.ML"
     "ML-Systems/ml_compiler_parameters.ML"
-    "ML-Systems/ml_compiler_parameters_polyml-5.5.3.ML"
+    "ML-Systems/ml_compiler_parameters_polyml-5.6.ML"
     "ML-Systems/ml_debugger.ML"
-    "ML-Systems/ml_debugger_polyml-5.5.3.ML"
+    "ML-Systems/ml_debugger_polyml-5.6.ML"
     "ML-Systems/ml_name_space.ML"
     "ML-Systems/ml_name_space_polyml-5.6.ML"
     "ML-Systems/ml_name_space_polyml.ML"
     "ML-Systems/ml_parse_tree.ML"
-    "ML-Systems/ml_parse_tree_polyml-5.5.3.ML"
+    "ML-Systems/ml_parse_tree_polyml-5.6.ML"
     "ML-Systems/ml_positions.ML"
     "ML-Systems/ml_pretty.ML"
     "ML-Systems/ml_profiling_polyml-5.6.ML"
     "ML-Systems/ml_profiling_polyml.ML"
     "ML-Systems/ml_stack_dummy.ML"
-    "ML-Systems/ml_stack_polyml-5.5.3.ML"
+    "ML-Systems/ml_stack_polyml-5.6.ML"
     "ML-Systems/ml_system.ML"
     "ML-Systems/multithreading.ML"
     "ML-Systems/multithreading_polyml.ML"
     "ML-Systems/overloading_smlnj.ML"
     "ML-Systems/polyml-5.5.2.ML"
-    "ML-Systems/polyml-5.5.3.ML"
+    "ML-Systems/polyml-5.6.ML"
     "ML-Systems/polyml-5.6.ML"
     "ML-Systems/polyml.ML"
     "ML-Systems/pp_dummy.ML"
@@ -48,26 +48,25 @@
     "ML-Systems/compiler_polyml.ML"
     "ML-Systems/exn_trace_polyml-5.5.1.ML"
     "ML-Systems/ml_compiler_parameters.ML"
-    "ML-Systems/ml_compiler_parameters_polyml-5.5.3.ML"
+    "ML-Systems/ml_compiler_parameters_polyml-5.6.ML"
     "ML-Systems/ml_debugger.ML"
-    "ML-Systems/ml_debugger_polyml-5.5.3.ML"
+    "ML-Systems/ml_debugger_polyml-5.6.ML"
     "ML-Systems/ml_name_space.ML"
     "ML-Systems/ml_name_space_polyml-5.6.ML"
     "ML-Systems/ml_name_space_polyml.ML"
     "ML-Systems/ml_parse_tree.ML"
-    "ML-Systems/ml_parse_tree_polyml-5.5.3.ML"
+    "ML-Systems/ml_parse_tree_polyml-5.6.ML"
     "ML-Systems/ml_positions.ML"
     "ML-Systems/ml_pretty.ML"
     "ML-Systems/ml_profiling_polyml-5.6.ML"
     "ML-Systems/ml_profiling_polyml.ML"
     "ML-Systems/ml_stack_dummy.ML"
-    "ML-Systems/ml_stack_polyml-5.5.3.ML"
+    "ML-Systems/ml_stack_polyml-5.6.ML"
     "ML-Systems/ml_system.ML"
     "ML-Systems/multithreading.ML"
     "ML-Systems/multithreading_polyml.ML"
     "ML-Systems/overloading_smlnj.ML"
     "ML-Systems/polyml-5.5.2.ML"
-    "ML-Systems/polyml-5.5.3.ML"
     "ML-Systems/polyml-5.6.ML"
     "ML-Systems/polyml.ML"
     "ML-Systems/pp_dummy.ML"