equal
deleted
inserted
replaced
13 structure SystemOnTPTP: SYSTEM_ON_TPTP = |
13 structure SystemOnTPTP: SYSTEM_ON_TPTP = |
14 struct |
14 struct |
15 |
15 |
16 fun get_url () = Options.default_string \<^system_option>\<open>SystemOnTPTP\<close> |
16 fun get_url () = Options.default_string \<^system_option>\<open>SystemOnTPTP\<close> |
17 |
17 |
18 fun list_systems () = get_url () |> \<^scala_thread>\<open>SystemOnTPTP.list_systems\<close> |> split_lines |
18 fun list_systems () = get_url () |> \<^scala>\<open>SystemOnTPTP.list_systems\<close> |> split_lines |
19 |
19 |
20 end |
20 end |