| Sat, 27 Feb 2010 13:32:55 +0100 |
wenzelm |
more precise syntax antiquotations;
|
file |
diff |
annotate
|
| Sun, 21 Feb 2010 21:04:17 +0100 |
wenzelm |
binder notation for default print_mode -- to avoid strange output if "xsymbols" is not active;
|
file |
diff |
annotate
|
| Sun, 21 Feb 2010 20:55:12 +0100 |
wenzelm |
tuned headers;
|
file |
diff |
annotate
|
| Thu, 11 Feb 2010 22:19:58 +0100 |
wenzelm |
modernized translations;
|
file |
diff |
annotate
|
| 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
|