Thu, 07 Jan 2010 17:43:35 +0100 | hoelzl | added syntax translation to automatically add finite typeclass to index type of cartesian product type | file | diff | annotate |
Wed, 06 Jan 2010 13:07:30 +0100 | himmelma | Made finite cartesian products finite | file | diff | annotate |
Mon, 16 Nov 2009 15:03:23 +0100 | hoelzl | removed hassize predicate | file | diff | annotate |
Fri, 23 Oct 2009 13:23:18 +0200 | himmelma | distinguished session for multivariate analysis | file | diff | annotate |