diff -r 80fa1401cf76 -r 4c98c929a12a src/Pure/ML/ml_process.scala
--- a/src/Pure/ML/ml_process.scala	Thu Sep 28 11:53:55 2017 +0200
+++ b/src/Pure/ML/ml_process.scala	Thu Sep 28 15:11:32 2017 +0200
@@ -99,9 +99,11 @@
             ML_Syntax.print_list(
               ML_Syntax.print_pair(
                 ML_Syntax.print_string, ML_Syntax.print_string))(table)
+          def print_list(list: List[String]): String =
+            ML_Syntax.print_list(ML_Syntax.print_string)(list)
           List("Resources.init_session_base" +
             " {global_theories = " + print_table(base.global_theories.toList) +
-            ", loaded_theories = " + print_table(base.loaded_theories.toList) +
+            ", loaded_theories = " + print_list(base.loaded_theories.toList) +
             ", known_theories = " + print_table(base.dest_known_theories) + "}")
       }