diff -r bbcb05504fdc -r bd218a9320b5 src/HOL/ROOT
--- a/src/HOL/ROOT	Thu Aug 04 18:45:28 2016 +0200
+++ b/src/HOL/ROOT	Thu Aug 04 19:36:31 2016 +0200
@@ -719,12 +719,6 @@
 session "HOL-Multivariate_Analysis" (main) in Multivariate_Analysis = HOL +
   theories
     Multivariate_Analysis
-    Determinants
-    PolyRoots
-    Polytope
-    Complex_Analysis_Basics
-    Complex_Transcendental
-    Cauchy_Integral_Thm
   document_files
     "root.tex"