src/HOL/Multivariate_Analysis/ROOT.ML
changeset 44229 7e3a026f014f
parent 33615 261abc2e3155
     1.1 --- a/src/HOL/Multivariate_Analysis/ROOT.ML	Tue Aug 16 07:56:17 2011 -0700
     1.2 +++ b/src/HOL/Multivariate_Analysis/ROOT.ML	Tue Aug 16 13:07:52 2011 -0700
     1.3 @@ -1,1 +1,1 @@
     1.4 -use_thys ["Multivariate_Analysis"];
     1.5 +use_thys ["Multivariate_Analysis", "Determinants"];