diff -r bfa38c2e751f -r 6cd36a0d2a28 src/Pure/ROOT
--- a/src/Pure/ROOT	Wed Mar 09 21:01:22 2016 +0100
+++ b/src/Pure/ROOT	Thu Mar 10 09:50:53 2016 +0100
@@ -3,8 +3,6 @@
 session Pure =
   global_theories Pure
   files
-    "Concurrent/bash.ML"
-    "Concurrent/bash_windows.ML"
     "Concurrent/cache.ML"
     "Concurrent/counter.ML"
     "Concurrent/event_timer.ML"
@@ -153,6 +151,8 @@
     "Syntax/syntax_trans.ML"
     "Syntax/term_position.ML"
     "Syntax/type_annotation.ML"
+    "System/bash.ML"
+    "System/bash_windows.ML"
     "System/command_line.ML"
     "System/invoke_scala.ML"
     "System/isabelle_process.ML"