src/HOL/Library/Determinants.thy
2009-04-01 nipkow 2009-04-01 cleaned up setprod_zero-related lemmas
2009-04-01 nipkow 2009-04-01 added strong_setprod_cong[cong] (in analogy with setsum) added some lemmas
2009-03-23 haftmann 2009-03-23 tuned header
2009-03-19 huffman 2009-03-19 add lemma det_diagonal; remove wellorder requirement on several lemmas
2009-03-19 huffman 2009-03-19 imported patch euclidean
2009-03-12 huffman 2009-03-12 remove trailing spaces
2009-03-04 wenzelm 2009-03-04 removed old/broken CVS Ids;
2009-03-04 chaieb 2009-03-04 fixed proofs
2009-02-21 huffman 2009-02-21 remove duplicated lemmas about norm
2009-02-09 chaieb 2009-02-09 Traces, Determinant of square matrices and some properties