src/Pure/ROOT

--- a/src/Pure/ROOT	Wed Apr 01 21:12:05 2015 +0200
+++ b/src/Pure/ROOT	Wed Apr 01 22:08:06 2015 +0200
@@ -121,6 +121,7 @@
     "Isar/code.ML"
     "Isar/context_rules.ML"
     "Isar/element.ML"
+    "Isar/experiment.ML"
     "Isar/expression.ML"
     "Isar/generic_target.ML"
     "Isar/isar_cmd.ML"