| Fri, 14 Jun 2019 08:34:28 +0000 | haftmann | misc tuning and modernization | changeset | files |
| Fri, 14 Jun 2019 08:34:28 +0000 | haftmann | more theorems for proof of concept for word type | changeset | files |
| Fri, 14 Jun 2019 08:34:28 +0000 | haftmann | official fact collection sign_simps | changeset | files |
| Fri, 14 Jun 2019 08:34:28 +0000 | haftmann | tuned proofs | changeset | files |
| Fri, 14 Jun 2019 08:34:27 +0000 | haftmann | avoid pseudo-collection to be used in generated proofs | changeset | files |
| Fri, 14 Jun 2019 08:34:27 +0000 | haftmann | moved comment to approproiate place | changeset | files |
| Fri, 14 Jun 2019 08:34:27 +0000 | haftmann | removed outcommented example which seems not to work as advertized | changeset | files |
| Fri, 14 Jun 2019 08:34:27 +0000 | haftmann | clear separation of types for bits (False / True) and Z2 (0 / 1) | changeset | files |