Thu, 26 Nov 2020 18:09:02 +0000 | paulson | Stepan Holub's stronger version of comm_append_are_replicate, and a de-applied Word.thy | changeset | files |
Thu, 26 Nov 2020 19:27:42 +0100 | nipkow | merged | changeset | files |
Thu, 26 Nov 2020 19:27:28 +0100 | nipkow | tuned | changeset | files |