# HG changeset patch
# User wenzelm
# Date 1256685819 -3600
# Node ID 8fb01a2f94069bb3a22fd95ff266a04dd1ea3619
# Parent  2172ae12c81d23babc66e3e38cf334c73cd6d97c
tuned initial session setup;

diff -r 2172ae12c81d -r 8fb01a2f9406 src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy
--- a/src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy	Wed Oct 28 00:08:32 2009 +0100
+++ b/src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy	Wed Oct 28 00:23:39 2009 +0100
@@ -1,6 +1,5 @@
-theory Multivariate_Analysis imports
-	Convex_Euclidean_Space
-	Determinants
+theory Multivariate_Analysis
+imports Convex_Euclidean_Space Determinants
 begin
 
 end
diff -r 2172ae12c81d -r 8fb01a2f9406 src/HOL/Multivariate_Analysis/ROOT.ML
--- a/src/HOL/Multivariate_Analysis/ROOT.ML	Wed Oct 28 00:08:32 2009 +0100
+++ b/src/HOL/Multivariate_Analysis/ROOT.ML	Wed Oct 28 00:23:39 2009 +0100
@@ -1,6 +1,1 @@
-(*
-  no_document use_thy "ThisTheory";
-  use_thy "ThatTheory";
-*)
-
 use_thy "Multivariate_Analysis";