src/HOL/ROOT

--- a/src/HOL/ROOT	Tue Mar 18 22:11:46 2014 +0100
+++ b/src/HOL/ROOT	Wed Mar 19 14:54:45 2014 +0000
@@ -677,6 +677,8 @@
   theories
     Multivariate_Analysis
     Determinants
+    PolyRoots
+    Complex_Analysis_Basics
   files
     "document/root.tex"