| Mon, 20 Sep 2021 20:22:32 +0200 | wenzelm | clarified signature; | changeset | files |
| Mon, 20 Sep 2021 20:24:43 +0200 | desharna | merged | changeset | files |
| Mon, 20 Sep 2021 15:30:03 +0200 | desharna | proper constants in TPTP $let binding | changeset | files |
| Mon, 20 Sep 2021 15:27:00 +0200 | wenzelm | more operations from Isabelle/ML; | changeset | files |