src/HOL/ROOT
changeset 56994 8d5e5ec1cac3
parent 56940 35ce6dab3f5e
child 57064 8a1be5efe628
     1.1 --- a/src/HOL/ROOT	Mon May 19 12:04:45 2014 +0200
     1.2 +++ b/src/HOL/ROOT	Mon May 19 13:44:13 2014 +0200
     1.3 @@ -685,8 +685,9 @@
     1.4    options [document_graph]
     1.5    theories [document = false]
     1.6      "~~/src/HOL/Library/Countable"
     1.7 -    "~~/src/HOL/Multivariate_Analysis/Extended_Real_Limits"
     1.8      "~~/src/HOL/Library/Permutation"
     1.9 +    "~~/src/HOL/Library/Order_Continuity"
    1.10 +    "~~/src/HOL/Library/Diagonal_Subsequence"
    1.11    theories
    1.12      Probability
    1.13      "ex/Dining_Cryptographers"