diff -r 37adca7fd48f -r 651ea265d568 src/HOL/ROOT
--- a/src/HOL/ROOT	Tue Mar 10 11:56:32 2015 +0100
+++ b/src/HOL/ROOT	Tue Mar 10 15:20:40 2015 +0000
@@ -285,7 +285,6 @@
     (* Preliminaries from set and number theory *)
     "~~/src/HOL/Library/FuncSet"
     "~~/src/HOL/Number_Theory/Primes"
-    "~~/src/HOL/Number_Theory/Binomial"
     "~~/src/HOL/Library/Permutation"
   theories
     (*** New development, based on explicit structures ***)