Wed, 13 Mar 2019 20:44:39 +0100 | haftmann | CONTRIBUTORS | changeset | files |
Sun, 10 Mar 2019 15:16:45 +0000 | haftmann | migrated from Nums to Zarith as library for OCaml integer arithmetic | changeset | files |
Sun, 10 Mar 2019 15:16:45 +0000 | haftmann | dropped superfluous declaration attribute | changeset | files |