| Sat, 20 Apr 2019 18:02:20 +0000 | haftmann | tuned name | changeset | files |
| Sat, 20 Apr 2019 13:44:16 +0000 | haftmann | clarified notation | changeset | files |
| Thu, 18 Apr 2019 16:34:04 +0200 | nipkow | added lemma | changeset | files |
| Thu, 18 Apr 2019 06:06:54 +0000 | haftmann | incorporated various material from the AFP into the distribution | changeset | files |
| Wed, 17 Apr 2019 16:57:06 +0000 | haftmann | backed out experimental b67bab2b132c, which slipped in accidentally | changeset | files |
| Thu, 18 Apr 2019 06:19:30 +0200 | nipkow | merged | changeset | files |
| Wed, 17 Apr 2019 21:48:56 +0200 | nipkow | added lemmas | changeset | files |