| Sun, 27 Dec 2015 16:40:09 +0100 | wenzelm | more symbols; | changeset | files |
| Sun, 27 Dec 2015 16:20:02 +0100 | wenzelm | tuned document; | changeset | files |
| Sun, 27 Dec 2015 16:00:41 +0100 | wenzelm | more proofs; | changeset | files |
| Sun, 27 Dec 2015 15:52:43 +0100 | wenzelm | tuned; | changeset | files |