--- a/src/HOL/Main.thy Fri Jul 03 17:36:45 1998 +0200
+++ b/src/HOL/Main.thy Fri Jul 03 18:05:03 1998 +0200
@@ -1,2 +1,4 @@
-Main = Update + Map + Record + Bin + RelPow + Sexp + String
+(*theory Main includes everything*)
+
+Main = Update + Map + Record + Bin + RelPow + Sexp + String + Recdef