| Thu, 11 Dec 2008 10:41:53 +0100 | wenzelm | merged | changeset | files |
| Thu, 11 Dec 2008 10:41:37 +0100 | wenzelm | Theory.checkpoint before commencing proof; | changeset | files |
| Thu, 11 Dec 2008 00:42:52 +0100 | wenzelm | misc tuning and modernisation; | changeset | files |
| Wed, 10 Dec 2008 22:05:58 +0100 | wenzelm | merged | changeset | files |