| Tue, 01 Nov 2016 00:44:24 +0100 | wenzelm | misc tuning and modernization; | changeset | files |
| Mon, 31 Oct 2016 16:26:36 +0100 | kuncar | always expand equalities in the transfer relation in transfer_prover (cf. 0a7c97c76f46) | changeset | files |
| Mon, 31 Oct 2016 15:48:27 +0100 | blanchet | moved contribution to right release | changeset | files |