Wed, 16 Jun 2021 08:19:09 +0000 haftmann more lemmas
Sat, 12 Jun 2021 15:37:25 +0200 desharna added support for unbounded max calls to Mirabelle
Sat, 12 Jun 2021 12:39:33 +0200 desharna added warnings when defining unamed or redefining Mirabelle action
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 tip