Tue, 16 Aug 2011 23:25:02 +0200 | wenzelm | merged | changeset | files |
Tue, 16 Aug 2011 13:07:52 -0700 | huffman | Multivariate_Analysis includes Determinants.thy, but doesn't import it by default | changeset | files |
Tue, 16 Aug 2011 07:56:17 -0700 | huffman | get Multivariate_Analysis/Determinants.thy compiled and working again | changeset | files |