diff -r a3f7f00b4fd8 -r fce780f9c9c6 src/HOL/ROOT
--- a/src/HOL/ROOT	Fri Jan 17 18:58:58 2020 +0100
+++ b/src/HOL/ROOT	Sun Jan 19 07:50:35 2020 +0100
@@ -823,6 +823,10 @@
     Lift_BNF
     Milner_Tofte
     Stream_Processor
+    Cyclic_List
+    Dlist
+    Free_Idempotent_Monoid
+    LDL
     TLList
     Misc_Codatatype
     Misc_Datatype