Madarasi Peter [Wed, 30 Nov 2016 06:44:28 +0100] rev 20
nth
Madarasi Peter [Wed, 30 Nov 2016 06:21:19 +0100] rev 19
Todo: refs, plots, double check
Madarasi Peter [Mon, 28 Nov 2016 20:18:13 +0100] rev 18
New run times
Madarasi Peter [Sun, 27 Nov 2016 22:57:56 +0100] rev 17
Fine tune. To be reviewed: abstract, intro, conclusion.
Madarasi Peter [Sat, 26 Nov 2016 00:15:22 +0100] rev 16
Vf2++' SUB, ISO cutting rules removed
Madarasi Peter [Fri, 25 Nov 2016 23:47:31 +0100] rev 15
Vf2's consistency and cutting rules part shortened
Madarasi Peter [Thu, 24 Nov 2016 22:09:36 +0100] rev 14
Expanding PT part removed
Madarasi Peter [Wed, 23 Nov 2016 21:45:11 +0100] rev 13
Under 30
Madarasi Peter [Wed, 23 Nov 2016 21:15:26 +0100] rev 12
All proofs of vf2pp' section removed
Madarasi Peter [Wed, 23 Nov 2016 20:59:40 +0100] rev 11
Proof of distinctness of cutting rules in case of IND and SUB