Fri, 16 Oct 2020 21:26:52 +0100 | paulson | de-applying and tidying | changeset | files |
Sat, 17 Oct 2020 19:10:40 +0200 | haftmann | early and more complete setup of tools | changeset | files |
Sat, 17 Oct 2020 18:56:36 +0200 | haftmann | factored out theory Bits_Int | changeset | files |