# HG changeset patch
# User wenzelm
# Date 1235682781 -3600
# Node ID cd3f37ba3e2530a1ee5ad39a29acd84d4b67ce8f
# Parent  23a3135122f708a56fc5f8032481dd0fe1a7bf7d# Parent  332e739b6b0e32f87033b1d2090debd4299a3f0c
merged

diff -r 23a3135122f7 -r cd3f37ba3e25 src/HOL/ROOT.ML
--- a/src/HOL/ROOT.ML	Fri Feb 27 07:40:25 2009 +1100
+++ b/src/HOL/ROOT.ML	Thu Feb 26 22:13:01 2009 +0100
@@ -1,7 +1,5 @@
 (* Classical Higher-order Logic -- batteries included *)
 
-use_thy "Main";
-share_common_data ();
 use_thy "Complex_Main";
 
 val HOL_proofs = ! Proofterm.proofs;