# HG changeset patch
# User wenzelm
# Date 1492031304 -7200
# Node ID b47373f5245116ebd992440d3e413d6249f2ce80
# Parent  f83081bcdd0ed895551d94b8845d62cd525c83f3
more global theories;

diff -r f83081bcdd0e -r b47373f52451 src/Pure/ROOT
--- a/src/Pure/ROOT	Wed Apr 12 22:47:21 2017 +0200
+++ b/src/Pure/ROOT	Wed Apr 12 23:08:24 2017 +0200
@@ -7,4 +7,4 @@
   options [threads = 1]
   theories
     Pure (global)
-    ML_Bootstrap
+    ML_Bootstrap (global)