Mon, 25 Jan 2010 16:56:24 +0100 | hoelzl | Replaced vec1 and dest_vec1 by abbreviation. | file | diff | annotate |
Thu, 07 Jan 2010 18:56:39 +0100 | hoelzl | finite annotation on cartesian product is now implicit. | file | diff | annotate |
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 |