| Tue, 24 Nov 2009 10:14:59 -0800 | huffman | re-state lemmas using 'range' | 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 |
| Thu, 29 Oct 2009 16:21:43 +0000 | paulson | Tidied up some very ugly proofs | 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 |