| Fri, 28 May 2021 20:21:25 +0000 | haftmann | more lemmas | changeset | files |
| Fri, 28 May 2021 20:21:23 +0000 | haftmann | max word moved to Word_Lib in AFP | changeset | files |
| Wed, 26 May 2021 18:07:49 +0200 | wenzelm | more robust syntax; | changeset | files |
| Tue, 25 May 2021 23:58:49 +0200 | wenzelm | unused; | changeset | files |
| Tue, 25 May 2021 23:37:32 +0200 | wenzelm | clarified document export names; | changeset | files |
| Tue, 25 May 2021 23:18:29 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 25 May 2021 23:12:46 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 25 May 2021 23:04:29 +0200 | wenzelm | tuned; | changeset | files |