| Fri, 12 Aug 2022 11:26:09 +0200 | wenzelm | tuned signature; | changeset | files |
| Fri, 12 Aug 2022 11:18:22 +0200 | wenzelm | tuned signature, following hints by IntelliJ IDEA; | changeset | files |
| Fri, 12 Aug 2022 15:35:07 +0200 | blanchet | added support for cvc5 (whose interface is almost identical to CVC4) | changeset | files |
| Thu, 11 Aug 2022 13:23:00 +0200 | nipkow | removing the [simp] attribute breaks too many AFP entries severely | changeset | files |
| Thu, 11 Aug 2022 11:57:19 +0200 | nipkow | nlists is picked up automatically but conflicts with the RBT setup | changeset | files |
| Thu, 11 Aug 2022 10:11:21 +0200 | nipkow | new lemma | changeset | files |
| Thu, 11 Aug 2022 05:50:48 +0200 | nipkow | merged | changeset | files |