| Thu, 07 Jan 2010 18:56:39 +0100 | hoelzl | finite annotation on cartesian product is now implicit. | file | diff | annotate |
| Wed, 06 Jan 2010 13:07:30 +0100 | himmelma | Made finite cartesian products finite | file | diff | annotate |
| Fri, 23 Oct 2009 13:23:18 +0200 | himmelma | distinguished session for multivariate analysis | file | diff | annotate |