# HG changeset patch
# User haftmann
# Date 1228498959 -3600
# Node ID ce378dcfddab6a1e8fd826f3a58291f7e171669c
# Parent  a5a91f3877913ec6e576ef4882ea4415d8a6f72c
corrected theory path

diff -r a5a91f387791 -r ce378dcfddab src/HOL/ROOT.ML
--- a/src/HOL/ROOT.ML	Fri Dec 05 18:42:37 2008 +0100
+++ b/src/HOL/ROOT.ML	Fri Dec 05 18:42:39 2008 +0100
@@ -3,7 +3,7 @@
 Classical Higher-order Logic -- batteries included.
 *)
 
-use_thy "Complex/Complex_Main";
+use_thy "Complex_Main";
 
 val HOL_proofs = ! Proofterm.proofs;