| Sat, 10 Sep 2011 23:27:32 +0200 | wenzelm | misc tuning; | changeset | files |
| Sat, 10 Sep 2011 22:11:55 +0200 | wenzelm | misc tuning and clarification; | changeset | files |
| Sat, 10 Sep 2011 21:47:55 +0200 | wenzelm | speed up slow proof; | changeset | files |
| Sat, 10 Sep 2011 20:41:27 +0200 | wenzelm | merged | changeset | files |