Tue, 31 Oct 2006 14:58:12 +0100 | haftmann | adapted to new serializer syntax | changeset | files |
Tue, 31 Oct 2006 09:29:18 +0100 | haftmann | constructing proof | changeset | files |
Tue, 31 Oct 2006 09:29:17 +0100 | haftmann | dropped constructiv `-> | changeset | files |