| Sun, 10 Jan 2010 18:43:45 +0100 | berghofe | Adapted to changes in induct method. | 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 |
| Fri, 11 Dec 2009 14:43:55 +0100 | haftmann | avoid dependency on implicit dest rule predicate1D in proofs | 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 |