src/HOL/ROOT

--- a/src/HOL/ROOT	Tue May 12 16:53:13 2020 +0100
+++ b/src/HOL/ROOT	Mon May 04 17:35:29 2020 +0200
@@ -851,6 +851,7 @@
     Misc_Datatype
     Misc_Primcorec
     Misc_Primrec
+    Datatype_Simproc_Tests
 
 session "HOL-Corec_Examples" (timing) in Corec_Examples = "HOL-Library" +
   description "