--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/Find_Facts/find_facts_tools.scala	Sat Jan 11 21:31:13 2025 +0100
@@ -0,0 +1,8 @@
+package isabelle
+
+class Find_Facts_Tools extends Isabelle_Scala_Tools(
+  Component_Elm.isabelle_tool,
+  Component_Solr.isabelle_tool,
+  Find_Facts.isabelle_tool,
+  Find_Facts.isabelle_tool1,
+  Find_Facts.isabelle_tool2)