Fri, 08 May 2020 06:26:29 +0000 | haftmann | explicit mask operation for bits | changeset | files |
Fri, 08 May 2020 06:26:28 +0000 | haftmann | prefer _ mod 2 over of_bool (odd _) | changeset | files |
Fri, 08 May 2020 06:26:27 +0000 | haftmann | less aggressive default simp rules | changeset | files |