Tue, 11 May 2021 20:19:07 +0200 | wenzelm | guess package more directly; | file | diff | annotate |
Wed, 31 Mar 2021 22:10:56 +0200 | wenzelm | tuned signature -- more explicit types; | file | diff | annotate |
Fri, 12 Mar 2021 23:30:35 +0100 | wenzelm | support for SystemOnTPTP in Isabelle/ML and Isabelle/Scala (without perl); | file | diff | annotate |