| Mon, 27 Apr 2020 16:18:51 +0000 | haftmann | simplified construction of binary bit operations | changeset | files |
| Sat, 25 Apr 2020 13:26:25 +0000 | haftmann | temporarily revert change which does not work as expected | changeset | files |
| Sat, 25 Apr 2020 13:26:24 +0000 | haftmann | more rules | changeset | files |
| Sat, 25 Apr 2020 16:31:43 +0200 | nipkow | added Height_Balanced_Trees | changeset | files |
| Fri, 24 Apr 2020 13:16:42 +0000 | haftmann | documentation of relevant ideas | changeset | files |
| Fri, 24 Apr 2020 13:16:41 +0000 | haftmann | numeral rules for take_bit / drop_bit on int | changeset | files |
| Fri, 24 Apr 2020 13:16:40 +0000 | haftmann | opaque export does not work as expected in presence of dependent instances | changeset | files |