--- a/src/Pure/Pure.thy Sat Jan 25 18:18:03 2014 +0100
+++ b/src/Pure/Pure.thy Sat Jan 25 18:34:05 2014 +0100
@@ -103,6 +103,7 @@
begin
ML_file "Isar/isar_syn.ML"
+ML_file "Isar/calculation.ML"
ML_file "Tools/rail.ML"
ML_file "Tools/rule_insts.ML";
ML_file "Tools/find_theorems.ML"