diff -r 7eb0c04e4c40 -r 863b4f9f6bd7 src/Pure/ROOT
--- a/src/Pure/ROOT	Sat Jan 25 18:18:03 2014 +0100
+++ b/src/Pure/ROOT	Sat Jan 25 18:34:05 2014 +0100
@@ -106,7 +106,6 @@
     "Isar/attrib.ML"
     "Isar/auto_bind.ML"
     "Isar/bundle.ML"
-    "Isar/calculation.ML"
     "Isar/class.ML"
     "Isar/class_declaration.ML"
     "Isar/code.ML"