| Sat, 20 Apr 2019 18:02:21 +0000 | haftmann | avoid separate type class for mere definitional extension | changeset | files |
| 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 |