Fri, 18 Jun 2021 11:32:32 +0200 | wenzelm | tuned signature (see 2d6a489adb01); | changeset | files |
Thu, 17 Jun 2021 12:57:22 +0200 | desharna | added support for TFX's and THF's $ite to Sledgehammer | changeset | files |
Thu, 17 Jun 2021 11:27:21 +0200 | desharna | tuned Mirabelle documentation | changeset | files |