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*)