src/HOL/ROOT

--- a/src/HOL/ROOT	Sun Dec 27 15:52:43 2015 +0100
+++ b/src/HOL/ROOT	Sun Dec 27 16:00:41 2015 +0100
@@ -632,6 +632,7 @@
   theories
     Basic_Logic
     Cantor
+    Schroeder_Bernstein
     Drinker
     Expr_Compiler
     Fibonacci