| Wed, 16 Feb 2011 14:44:33 +0000 | Christian Urban | added eqvt for length | file | diff | annotate |
| Wed, 16 Feb 2011 14:03:26 +0000 | Christian Urban | added eqvt lemmas for filter and distinct | file | diff | annotate |
| Mon, 07 Feb 2011 16:00:24 +0000 | Christian Urban | added eqvt for cartesian products | file | diff | annotate |