Mon, 16 Nov 2020 13:11:15 +0100 | wenzelm | refer to HTML symbols via resources; | changeset | files |
Sun, 15 Nov 2020 16:51:58 +0000 | haftmann | moved lemmas from AFP to distribution | changeset | files |
Sun, 15 Nov 2020 22:26:13 +0100 | wenzelm | merged | changeset | files |