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