# HG changeset patch
# User wenzelm
# Date 899481903 -7200
# Node ID 01cbf154d926d99d2dcb3fbb5b2fecd85f22d20d
# Parent  463a0e9df5b5f20351ff233f7adeab9aa694445b
theory Main includes everything;

diff -r 463a0e9df5b5 -r 01cbf154d926 src/HOL/Main.thy
--- 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