Thu, 17 Jun 2021 10:43:53 +0200 | desharna | fixed typos | changeset | files |
Thu, 17 Jun 2021 10:37:29 +0200 | desharna | updated Mirabelle documentation | changeset | files |
Thu, 17 Jun 2021 10:30:07 +0200 | desharna | changed Mirabelle's filter to use short theory names | changeset | files |