src/Tools/Find_Facts/src/find_facts.scala

           stream(results.map(read_block))
         }, q = q)
 
     def update_theory(db: Solr.Database, theory_name: String, blocks: List[Block]): Unit =
       db.transaction {
-        val delete =
-          read_domain(db, Solr.filter(Fields.theory, Solr.phrase(theory_name))) -- blocks.map(_.id)
+        val domain = read_domain(db, Solr.filter(Fields.theory_facet, Solr.phrase(theory_name)))
+        val delete = domain -- blocks.map(_.id)
 
         if (delete.nonEmpty) db.execute_batch_delete(delete.toList)
 
         db.execute_batch_insert(
           for (block <- blocks) yield { (doc: Solr.Document) =>

       blocks.toList
     }
 
     def delete_session(db: Solr.Database, session_name: String): Unit =
       db.transaction {
-        val delete = read_domain(db, Solr.filter(Fields.session, Solr.phrase(session_name)))
+        val delete = read_domain(db, Solr.filter(Fields.session_facet, Solr.phrase(session_name)))
         if (delete.nonEmpty) db.execute_batch_delete(delete.toList)
       }
 
     def query_stats(db: Solr.Database, q: Solr.Source, fq: List[Solr.Source]): Stats =
       db.execute_stats_query(