--- a/src/HOL/Main.thy Fri Jun 04 19:55:41 1999 +0200
+++ b/src/HOL/Main.thy Fri Jun 04 19:57:31 1999 +0200
@@ -1,4 +1,4 @@
(*theory Main includes everything*)
-Main = Bin + Map + Recdef + Record + RelPow + Sexp + String
+Main = Bin + Map + Recdef + Record + RelPow + Sexp + String + Calculation