Mon, 07 Sep 2020 16:14:32 +0000 | haftmann | tuned theory structure | changeset | files |
Mon, 07 Sep 2020 08:47:28 +0000 | haftmann | more on conversions | changeset | files |
Sat, 05 Sep 2020 16:21:16 +0000 | haftmann | generalized signed_take_bit | changeset | files |