src/HOL/Main.thy
changeset 6059 aa00e235ea27
parent 5442 e60b8698ab15
child 6779 2912aff958bd
--- 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