| Wed, 02 Jun 2021 12:45:27 +0000 | haftmann | lexorders the locale way | changeset | files |
| Mon, 31 May 2021 20:27:45 +0000 | haftmann | more accurate export morphism enables proper instantiation by interpretation | changeset | files |
| 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 |