| Fri, 14 Dec 2012 15:46:01 +0100 | hoelzl | Remove the indexed basis from the definition of euclidean spaces and only use the set of Basis vectors | file | diff | annotate |
| Tue, 16 Aug 2011 13:07:52 -0700 | huffman | Multivariate_Analysis includes Determinants.thy, but doesn't import it by default | file | diff | annotate |