Tue, 16 Aug 2011 13:07:52 -0700 | huffman | Multivariate_Analysis includes Determinants.thy, but doesn't import it by default | file | diff | annotate |
Tue, 16 Aug 2011 07:56:17 -0700 | huffman | get Multivariate_Analysis/Determinants.thy compiled and working again | file | diff | annotate |
Mon, 14 Mar 2011 14:37:47 +0100 | hoelzl | split Extended_Reals into parts for Library and Multivariate_Analysis | file | diff | annotate |
Tue, 18 Jan 2011 21:37:23 +0100 | hoelzl | Gauge measure removed | file | diff | annotate |
Mon, 23 Aug 2010 19:35:57 +0200 | hoelzl | Rewrite the Probability theory. | file | diff | annotate |
Mon, 21 Jun 2010 19:33:51 +0200 | hoelzl | Introduce a type class for euclidean spaces, port most lemmas from real^'n to this type class. | file | diff | annotate |
Mon, 26 Apr 2010 15:22:03 -0700 | huffman | move proof of Fashoda meet theorem into separate file | file | diff | annotate |