Sat, 13 Mar 2021 12:45:31 +0100 | wenzelm | tuned; | changeset | files |
Sat, 13 Mar 2021 12:36:24 +0100 | wenzelm | clarified signature: function_thread is determined in Isabelle/Scala, not Isabelle/ML; | changeset | files |
Fri, 12 Mar 2021 23:30:35 +0100 | wenzelm | support for SystemOnTPTP in Isabelle/ML and Isabelle/Scala (without perl); | changeset | files |