| Thu, 20 Feb 2020 09:05:19 +0100 | traytel | merged | changeset | files |
| Wed, 19 Feb 2020 15:49:10 +0100 | traytel | additional lemmas about alw and suntil (by Michael Foster) | changeset | files |
| Wed, 19 Feb 2020 20:00:07 +0100 | wenzelm | proper print mode for function_space notation (amending d68b705719ce); | changeset | files |
| Wed, 19 Feb 2020 15:40:28 +0100 | wenzelm | proper file name (amending ce3409dfb18c); | changeset | files |
| Tue, 18 Feb 2020 18:08:11 +0100 | nipkow | merged | changeset | files |
| Tue, 18 Feb 2020 18:08:08 +0100 | nipkow | tuned proof | changeset | files |
| Tue, 18 Feb 2020 15:40:37 +0100 | wenzelm | more robust pretty printing of broken YXML, e.g. single "\^E"; | changeset | files |