| Sat, 23 Nov 2019 11:45:02 +0100 | wenzelm | tuned proofs; | changeset | files |
| Sat, 23 Nov 2019 11:36:42 +0100 | wenzelm | clarified error: tmp file can be invalid in odd situations; | changeset | files |
| Sat, 23 Nov 2019 11:28:15 +0100 | wenzelm | more robust: file length can be invalid in odd situations; | changeset | files |
| Sat, 23 Nov 2019 11:19:18 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 22 Nov 2019 15:26:08 +0100 | haftmann | tuned whitespace | changeset | files |
| Fri, 22 Nov 2019 09:25:01 +0000 | haftmann | proper prefix syntax | changeset | files |
| Fri, 22 Nov 2019 09:24:54 +0000 | haftmann | removed unused auxiliary lemmas | changeset | files |