Tue, 05 Jan 2021 11:24:35 +0100 | nipkow | tuned | changeset | files |
Tue, 05 Jan 2021 03:35:46 +0100 | Manuel Eberl | HOL-Library.Multiset: new notation for prod_mset, consistent with sum_mset | changeset | files |
Mon, 04 Jan 2021 21:25:40 +0100 | wenzelm | merged | changeset | files |