src/Provers/Arith/fast_lin_arith.ML

                 (["Assumptions:"] @ map (Display.string_of_thm ctxt) asms @ [""] @
                  ["Proved:", Display.string_of_thm ctxt fls, ""] @
                  (if count <> warning_count_max then []
                   else ["\n(Reached maximal message count -- disabling future warnings)"])));
                 warning "Linear arithmetic should have refuted the assumptions.\n\
-                  \Please inform Tobias Nipkow ([e-mail]).")
+                  \Please inform Tobias Nipkow.")
           end;
     in fls end
     handle FalseE thm => trace_thm ctxt "False reached early:" thm
   end;