src/HOL/ROOT
changeset 55159 608c157d743d
parent 55123 a389b50e6a42
child 55240 efc4c0e0e14a
     1.1 --- a/src/HOL/ROOT	Mon Jan 27 17:13:33 2014 +0000
     1.2 +++ b/src/HOL/ROOT	Wed Jan 29 12:51:37 2014 +0000
     1.3 @@ -258,8 +258,8 @@
     1.4    theories [document = false]
     1.5      (* Preliminaries from set and number theory *)
     1.6      "~~/src/HOL/Library/FuncSet"
     1.7 -    "~~/src/HOL/Old_Number_Theory/Primes"
     1.8 -    "~~/src/HOL/Library/Binomial"
     1.9 +    "~~/src/HOL/Number_Theory/Primes"
    1.10 +    "~~/src/HOL/Number_Theory/Binomial"
    1.11      "~~/src/HOL/Library/Permutation"
    1.12    theories
    1.13      (*** New development, based on explicit structures ***)