| changeset 73419 | 22f3f2117ed7 |
| parent 73418 | 7d7d959547a1 |
| child 73424 | 2b657a70116c |
--- a/src/HOL/Tools/ATP/system_on_tptp.ML Fri Mar 12 23:30:35 2021 +0100 +++ b/src/HOL/Tools/ATP/system_on_tptp.ML Sat Mar 13 12:36:24 2021 +0100 @@ -15,6 +15,6 @@ fun get_url () = Options.default_string \<^system_option>\<open>SystemOnTPTP\<close> -fun list_systems () = get_url () |> \<^scala_thread>\<open>SystemOnTPTP.list_systems\<close> |> split_lines +fun list_systems () = get_url () |> \<^scala>\<open>SystemOnTPTP.list_systems\<close> |> split_lines end