--- a/src/Pure/ROOT Wed Apr 30 13:11:24 2014 +0200
+++ b/src/Pure/ROOT Wed Apr 30 22:34:11 2014 +0200
@@ -26,7 +26,7 @@
"ML-Systems/use_context.ML"
session Pure =
- theories Pure
+ global_theories Pure
files
"General/exn.ML"
"ML-Systems/compiler_polyml.ML"