| Fri, 03 Jul 2020 06:18:27 +0000 | haftmann | explicit proofs for bit projections | changeset | files |
| Thu, 02 Jul 2020 12:10:58 +0000 | haftmann | extraction of equations x = t from premises beneath meta-all | changeset | files |
| Thu, 02 Jul 2020 08:49:04 +0000 | haftmann | a small aggiornamento for Z2 | changeset | files |
| Thu, 02 Jul 2020 08:49:03 +0000 | haftmann | removed superfluous dependency | changeset | files |
| Wed, 01 Jul 2020 17:32:11 +0000 | haftmann | factored out ancient numeral representation | changeset | files |
| Wed, 01 Jul 2020 17:32:11 +0000 | haftmann | moved to Word_Lib | changeset | files |
| Wed, 01 Jul 2020 17:32:10 +0000 | haftmann | more explicit proofs | changeset | files |
| Wed, 01 Jul 2020 22:11:30 +0200 | wenzelm | clarified options --- potentially more robust; | changeset | files |