src/HOL/ROOT

--- a/src/HOL/ROOT	Mon May 19 12:04:45 2014 +0200
+++ b/src/HOL/ROOT	Mon May 19 13:44:13 2014 +0200
@@ -685,8 +685,9 @@
   options [document_graph]
   theories [document = false]
     "~~/src/HOL/Library/Countable"
-    "~~/src/HOL/Multivariate_Analysis/Extended_Real_Limits"
     "~~/src/HOL/Library/Permutation"
+    "~~/src/HOL/Library/Order_Continuity"
+    "~~/src/HOL/Library/Diagonal_Subsequence"
   theories
     Probability
     "ex/Dining_Cryptographers"