| Fri, 11 Jun 2010 03:02:42 +0200 | Christian Urban | also symmetry | file | diff | annotate |
| Thu, 10 Jun 2010 14:53:28 +0200 | Christian Urban | premerge | file | diff | annotate |
| Wed, 09 Jun 2010 15:14:16 +0200 | Christian Urban | transitivity proofs done | file | diff | annotate |