diff --git a/thys/Probabilistic_Prime_Tests/ROOT b/thys/Probabilistic_Prime_Tests/ROOT
--- a/thys/Probabilistic_Prime_Tests/ROOT
+++ b/thys/Probabilistic_Prime_Tests/ROOT
@@ -1,14 +1,15 @@
 chapter AFP
 
 session Probabilistic_Prime_Tests (AFP) = "HOL-Probability" +
   options [timeout = 1500]
   sessions
     "HOL-Algebra"
     "HOL-Computational_Algebra"
     "HOL-Number_Theory"
   theories
     Fermat_Test
     Miller_Rabin_Test
     Solovay_Strassen_Test
   document_files
     "root.tex"
+    "root.bib"
diff --git a/thys/Selection_Heap_Sort/ROOT b/thys/Selection_Heap_Sort/ROOT
--- a/thys/Selection_Heap_Sort/ROOT
+++ b/thys/Selection_Heap_Sort/ROOT
@@ -1,18 +1,19 @@
 chapter AFP
 
 session "Selection_Heap_Sort" (AFP) = "HOL-Library" +
   description \<open>
     Author:  Danijela Petrovi\'c, Facylty of Mathematics, University of Belgrade
     
     Verification of Functional Selection and Heap Sort Using Locales.
   \<close>
   options [timeout = 300]
   theories
     Sort
     RemoveMax
     SelectionSort_Functional
     Heap
     HeapFunctional
     HeapImperative
   document_files
     "root.tex"
+    "root.bib"