| Thu, 17 Sep 2020 09:57:30 +0000 | haftmann | more lemmas | file | diff | annotate |
| Mon, 07 Sep 2020 08:47:28 +0000 | haftmann | more on conversions | file | diff | annotate |
| Sat, 05 Sep 2020 16:21:16 +0000 | haftmann | generalized signed_take_bit | file | diff | annotate |
| Sat, 05 Sep 2020 08:32:34 +0000 | haftmann | more on conversions | file | diff | annotate |
| Sun, 30 Aug 2020 15:15:28 +0000 | haftmann | more on conversions | file | diff | annotate |
| Mon, 24 Aug 2020 13:39:09 +0000 | haftmann | a proof of concept for generic conversions | file | diff | annotate | base |