| Mon, 04 Jan 2021 19:41:38 +0100 | Manuel Eberl | HOL-Library: Changed notation for sum_mset | changeset | files |
| Mon, 04 Jan 2021 19:56:33 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 04 Jan 2021 19:28:50 +0100 | wenzelm | proper thread position for reports; | changeset | files |
| Mon, 04 Jan 2021 14:23:43 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 04 Jan 2021 13:40:16 +0100 | wenzelm | misc tuning and clarification; | changeset | files |
| Mon, 04 Jan 2021 13:23:51 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 04 Jan 2021 13:01:47 +0100 | wenzelm | tuned; | changeset | files |