--- a/src/HOL/Main.thy Mon Jan 04 16:37:04 1999 +0100
+++ b/src/HOL/Main.thy Tue Jan 05 17:27:59 1999 +0100
@@ -1,4 +1,4 @@
(*theory Main includes everything*)
-Main = Map + Recdef + Record + Bin + RelPow + Sexp + String
+Main = Bin + Map + Recdef + Record + RelPow + Sexp + String