src/Pure/ROOT

--- a/src/Pure/ROOT	Sat Dec 16 15:15:51 2017 +0100
+++ b/src/Pure/ROOT	Sat Dec 16 16:46:01 2017 +0100
@@ -8,3 +8,4 @@
   theories
     Pure (global)
     ML_Bootstrap (global)
+    Sessions