| Sat, 29 May 2021 13:42:26 +0100 | paulson | merged | changeset | files |
| Fri, 28 May 2021 18:11:34 +0100 | paulson | some new and/or varient results about images | changeset | files |
| Fri, 28 May 2021 14:43:06 +0100 | paulson | nicer statement of Liouville_theorem | changeset | files |
| 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 |