| 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 |
| Thu, 26 Nov 2020 14:53:38 +0100 | nipkow | removed assumptions in lemma (Stepan Holub) | changeset | files |
| Thu, 26 Nov 2020 18:32:06 +0100 | wenzelm | merged | changeset | files |
| Thu, 26 Nov 2020 18:05:24 +0100 | wenzelm | more exports from rendering; | changeset | files |
| Thu, 26 Nov 2020 17:32:43 +0100 | wenzelm | clarified signature; | changeset | files |
| Thu, 26 Nov 2020 17:23:33 +0100 | wenzelm | clarified options: batch-build has pide_reports disabled by default (requires significant resources); | changeset | files |