src/HOL/ROOT

--- a/src/HOL/ROOT	Fri Apr 03 21:04:56 2015 +0200
+++ b/src/HOL/ROOT	Fri Apr 03 21:25:55 2015 +0200
@@ -527,7 +527,6 @@
     "~~/src/HOL/Library/Transitive_Closure_Table"
     Cartouche_Examples
   theories
-    Approximations
     Commands
     Adhoc_Overloading_Examples
     Iff_Oracle
@@ -693,6 +692,10 @@
   document_files
     "root.tex"
 
+session "HOL-Multivariate_Analysis-ex" in "Multivariate_Analysis/ex" = "HOL-Multivariate_Analysis" +
+  theories
+    Approximations
+
 session "HOL-Probability" in "Probability" = "HOL-Multivariate_Analysis" +
   theories [document = false]
     "~~/src/HOL/Library/Countable"