src/HOL/ROOT

--- a/src/HOL/ROOT	Sat Oct 01 17:16:35 2016 +0200
+++ b/src/HOL/ROOT	Sat Oct 01 17:38:14 2016 +0200
@@ -644,7 +644,6 @@
     Peirce
     Drinker
     Cantor
-    Schroeder_Bernstein
     Structured_Statements
     Basic_Logic
     Expr_Compiler