Thu, 17 Feb 2022 19:42:16 +0000 | haftmann | Avoid overaggresive splitting. | changeset | files |
Thu, 17 Feb 2022 19:42:15 +0000 | haftmann | more lemmas for distribution | changeset | files |
Thu, 17 Feb 2022 19:42:15 +0000 | haftmann | Avoid overaggresive simplification. | changeset | files |