--- a/src/Pure/ROOT Sun Nov 15 10:52:51 2015 +0100
+++ b/src/Pure/ROOT Sun Nov 15 11:27:55 2015 +0100
@@ -145,6 +145,7 @@
"Isar/experiment.ML"
"Isar/expression.ML"
"Isar/generic_target.ML"
+ "Isar/interpretation.ML"
"Isar/isar_cmd.ML"
"Isar/keyword.ML"
"Isar/local_defs.ML"