src/Pure/Thy/sessions.scala

--- a/src/Pure/Thy/sessions.scala	Fri Aug 19 23:58:44 2022 +0200
+++ b/src/Pure/Thy/sessions.scala	Sat Aug 20 00:24:04 2022 +0200
@@ -30,11 +30,8 @@
 
   def is_pure(name: String): Boolean = name == Thy_Header.PURE
 
-
   def exclude_session(name: String): Boolean = name == "" || name == DRAFT
-
-  def exclude_theory(name: String): Boolean =
-    name == root_name || name == "index" || name == "bib"
+  def exclude_theory(name: String): Boolean = name == root_name || name == "bib"
 
 
   /* ROOTS file format */