--- a/src/Pure/ROOT Tue Apr 05 15:53:48 2016 +0200
+++ b/src/Pure/ROOT Tue Apr 05 15:58:58 2016 +0200
@@ -1,5 +1,9 @@
chapter Pure
session Pure =
- global_theories Pure
- files "ROOT.ML"
+ global_theories
+ Pure
+ theories
+ "ML/ML_Root"
+ files
+ "ROOT.ML"