diff -r bb41d88f7df5 -r 6e0f23304061 src/HOL/Main.thy
--- a/src/HOL/Main.thy	Thu Mar 16 00:33:46 2000 +0100
+++ b/src/HOL/Main.thy	Thu Mar 16 00:35:27 2000 +0100
@@ -1,5 +1,1 @@
-
-(*theory Main includes everything*)
-
-Main = NatBin + Map + Recdef + Record + RelPow + Sexp + String + Calculation +
-       SVC_Oracle
+Main = Map + String             (*theory Main includes everything*)