Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/ATP/system_on_tptp.scala
changeset 79510 d8330439823a
parent 78592 fdfe9b91d96e 
--- a/src/HOL/Tools/ATP/system_on_tptp.scala	Sun Jan 21 13:18:05 2024 +0100
+++ b/src/HOL/Tools/ATP/system_on_tptp.scala	Sun Jan 21 14:05:14 2024 +0100
@@ -8,16 +8,14 @@
 
 import isabelle._
 
-import java.net.URL
-
 
 object SystemOnTPTP {
   /* requests */
 
-  def get_url(options: Options): URL = Url(options.string("SystemOnTPTP"))
+  def get_url(options: Options): Url = Url(options.string("SystemOnTPTP"))
 
   def post_request(
-    url: URL,
+    url: Url,
     parameters: List[(String, Any)],
     timeout: Time = HTTP.Client.default_timeout
   ): HTTP.Content = {
@@ -33,7 +31,7 @@
 
   /* list systems */
 
-  def list_systems(url: URL): HTTP.Content =
+  def list_systems(url: Url): HTTP.Content =
     post_request(url,
       List("SubmitButton" -> "ListSystems",
         "ListStatus" -> "READY",
@@ -47,7 +45,7 @@
 
   /* run system */
 
-  def run_system(url: URL,
+  def run_system(url: Url,
     system: String,
     problem: String,
     extra: String = "",
isabelle