Sun, 10 Jan 2010 18:43:45 +0100 |
berghofe |
Adapted to changes in induct method.
|
file |
diff |
annotate
|
Thu, 07 Jan 2010 17:41:06 +0100 |
hoelzl |
remove overloaded star operator, use specific vector / matrix operators
|
file |
diff |
annotate
|
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
|
Thu, 19 Nov 2009 11:51:37 +0100 |
hoelzl |
Renamed vector_less_eq_def to the more usual name vector_le_def.
|
file |
diff |
annotate
|
Mon, 16 Nov 2009 15:03:23 +0100 |
hoelzl |
removed hassize predicate
|
file |
diff |
annotate
|
Mon, 16 Nov 2009 15:06:34 +0100 |
hoelzl |
Added new lemmas to Euclidean Space by Robert Himmelmann
|
file |
diff |
annotate
|
Tue, 27 Oct 2009 14:46:03 +0000 |
paulson |
merged
|
file |
diff |
annotate
|
Fri, 23 Oct 2009 13:23:18 +0200 |
himmelma |
distinguished session for multivariate analysis
|
file |
diff |
annotate
|