| Thu, 22 Apr 2021 11:12:03 +0200 | wenzelm | tuned comments; | changeset | files |
| Thu, 22 Apr 2021 10:55:31 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 22 Apr 2021 10:11:11 +0200 | wenzelm | simplified typesetting of \<guillemotleft>...\<guillemotright>; | changeset | files |
| Fri, 23 Apr 2021 09:50:14 +0000 | haftmann | collecting more lemmas concerning multisets | changeset | files |
| Tue, 20 Apr 2021 22:53:24 +0200 | wenzelm | proper use of antiquotations; | changeset | files |
| Mon, 19 Apr 2021 21:57:52 +0200 | wenzelm | more documentation on "Conversions"; | changeset | files |
| Mon, 19 Apr 2021 15:55:14 +0200 | nipkow | tuned | changeset | files |