--- a/src/HOL/Tools/etc/options Thu Apr 07 05:55:48 2022 +0000
+++ b/src/HOL/Tools/etc/options Thu Apr 07 12:37:42 2022 +0200
@@ -32,7 +32,7 @@
public option sledgehammer_timeout : int = 30
-- "provers will be interrupted after this time (in seconds)"
-public option SystemOnTPTP : string = "http://www.tptp.org/cgi-bin/SystemOnTPTPFormReply"
+public option SystemOnTPTP : string = "https://www.tptp.org/cgi-bin/SystemOnTPTPFormReply"
-- "URL for SystemOnTPTP service"
public option MaSh : string = "sml"