--- a/src/Doc/Sledgehammer/document/root.tex Wed Dec 18 10:23:25 2024 +0100
+++ b/src/Doc/Sledgehammer/document/root.tex Wed Dec 18 10:43:44 2024 +0100
@@ -62,7 +62,7 @@
{\normalsize Institut f\"ur Informatik, Ludwig-Maximilians-Universit\"at M\"unchen} \\[4\smallskipamount]
{\normalsize with contributions from} \\[4\smallskipamount]
Martin Desharnais \\
-{\normalsize Forschungsinstitut CODE, Universit\"at der Bundeswehr M\"unchen} \\[4\smallskipamount]
+{\normalsize Max-Planck-Institut f\"ur Informatik} \\[4\smallskipamount]
Lawrence C. Paulson \\
{\normalsize Computer Laboratory, University of Cambridge} \\[4\smallskipamount]
Lukas Bartl \\