| Sat, 17 Oct 2009 14:43:18 +0200 |
wenzelm |
eliminated hard tabulators, guessing at each author's individual tab-width;
|
file |
diff |
annotate
|
| Thu, 28 May 2009 17:24:18 -0700 |
huffman |
fix references to dist_def
|
file |
diff |
annotate
|
| Thu, 28 May 2009 15:54:20 +0200 |
himmelma |
corrected problem in Determinants
|
file |
diff |
annotate
|
| Wed, 01 Apr 2009 22:29:10 +0200 |
nipkow |
cleaned up setprod_zero-related lemmas
|
file |
diff |
annotate
|
| Wed, 01 Apr 2009 16:03:00 +0200 |
nipkow |
added strong_setprod_cong[cong] (in analogy with setsum)
|
file |
diff |
annotate
|
| Mon, 23 Mar 2009 08:14:23 +0100 |
haftmann |
tuned header
|
file |
diff |
annotate
|
| Thu, 19 Mar 2009 08:13:10 -0700 |
huffman |
add lemma det_diagonal; remove wellorder requirement on several lemmas
|
file |
diff |
annotate
|
| Thu, 19 Mar 2009 01:29:19 -0700 |
huffman |
imported patch euclidean
|
file |
diff |
annotate
|
| Thu, 12 Mar 2009 09:27:23 -0700 |
huffman |
remove trailing spaces
|
file |
diff |
annotate
|
| Wed, 04 Mar 2009 23:52:47 +0100 |
wenzelm |
removed old/broken CVS Ids;
|
file |
diff |
annotate
|
| Wed, 04 Mar 2009 19:21:28 +0000 |
chaieb |
fixed proofs
|
file |
diff |
annotate
|
| Sat, 21 Feb 2009 11:18:50 -0800 |
huffman |
remove duplicated lemmas about norm
|
file |
diff |
annotate
|
| Mon, 09 Feb 2009 17:21:19 +0000 |
chaieb |
Traces, Determinant of square matrices and some properties
|
file |
diff |
annotate
|