src/HOL/ROOT.ML
changeset 27421 7e458bd56860
parent 27368 9f90ac19e32b
child 28263 69eaa97e7e96
     1.1 --- a/src/HOL/ROOT.ML	Tue Jul 01 07:13:45 2008 +0200
     1.2 +++ b/src/HOL/ROOT.ML	Tue Jul 01 07:58:17 2008 +0200
     1.3 @@ -4,4 +4,4 @@
     1.4  Classical Higher-order Logic -- batteries included.
     1.5  *)
     1.6  
     1.7 -use_thy "Main";
     1.8 +use_thy "Complex/Complex_Main";