diff -r a9600c47ace3 -r aa00e235ea27 src/HOL/Main.thy
--- 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