src/HOL/ROOT

--- a/src/HOL/ROOT	Wed Mar 21 19:39:24 2018 +0100
+++ b/src/HOL/ROOT	Wed Mar 21 20:17:25 2018 +0100
@@ -527,6 +527,7 @@
     Ballot
     BinEx
     Birthday_Paradox
+    Bit_Lists
     Bubblesort
     CTL
     Cartouche_Examples