CONTRIBUTORS

--- a/CONTRIBUTORS	Sun Jan 12 12:54:25 2025 +0100
+++ b/CONTRIBUTORS	Sun Jan 12 13:09:42 2025 +0100
@@ -9,6 +9,9 @@
 * October 2024 - January 2025: Lukas Bartl, Universität Augsburg
   Inference of variable instantiations with Metis.
 
+* 2024: Fabian Huch, TU München
+  Search engine "find_facts": web application based on Apache Solr.
+
 * April - October 2024: Thomas Lindae and Fabian Huch, TU München
   Improvements to the language server for Isabelle/VSCode.