Sun, 18 Jul 2010 17:02:33 +0100 | Christian Urban | minor things | file | diff | annotate |
Sat, 17 Jul 2010 15:44:24 +0100 | Christian Urban | some minor changes | file | diff | annotate |
Sat, 17 Jul 2010 12:01:04 +0100 | Christian Urban | changes suggested by Peter Homeier | file | diff | annotate |
Thu, 24 Jun 2010 00:41:41 +0100 | Christian Urban | added comment about partial equivalence relations | file | diff | annotate |