src/HOL/ROOT

--- a/src/HOL/ROOT	Mon Mar 23 07:36:27 2015 +0100
+++ b/src/HOL/ROOT	Mon Mar 23 08:45:54 2015 +0100
@@ -552,7 +552,6 @@
     Intuitionistic
     CTL
     Arith_Examples
-    BT
     Tree23
     Bubblesort
     MergeSort