| Wed, 23 Nov 2016 21:45:11 +0100 | Madarasi Peter | Under 30 | changeset | files |
| Wed, 23 Nov 2016 21:15:26 +0100 | Madarasi Peter | All proofs of vf2pp' section removed | changeset | files |
| Wed, 23 Nov 2016 20:59:40 +0100 | Madarasi Peter | Proof of distinctness of cutting rules in case of IND and SUB | changeset | files |