src/HOL/ROOT

--- a/src/HOL/ROOT	Tue May 10 11:56:23 2016 +0100
+++ b/src/HOL/ROOT	Tue May 10 14:04:44 2016 +0100
@@ -720,6 +720,7 @@
     Multivariate_Analysis
     Determinants
     PolyRoots
+    Polytope
     Complex_Analysis_Basics
     Complex_Transcendental
     Cauchy_Integral_Thm