| Sat, 04 Jul 2020 20:45:24 +0000 | haftmann | factored out auxiliary theory | changeset | files |
| Sat, 04 Jul 2020 20:45:21 +0000 | haftmann | prefer explicit proof | changeset | files |
| Fri, 03 Jul 2020 17:11:57 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Fri, 03 Jul 2020 17:11:26 +0200 | wenzelm | use less memory on old hardware; | changeset | files |
| Fri, 03 Jul 2020 17:00:41 +0200 | wenzelm | clarified signature; | changeset | files |
| Fri, 03 Jul 2020 16:48:57 +0200 | wenzelm | clarified log message (more uniform); | changeset | files |
| Fri, 03 Jul 2020 06:18:29 +0000 | haftmann | misc lemma tuning | changeset | files |
| 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 |