| Sat, 16 Jul 2016 11:32:48 +0200 | wenzelm | clarified; | changeset | files |
| Sat, 16 Jul 2016 00:38:33 +0200 | wenzelm | information about proof outline with cases (sendback); | changeset | files |
| Sat, 16 Jul 2016 00:11:03 +0200 | wenzelm | tuned signature; | changeset | files |