src/HOL/Multivariate_Analysis/ROOT.ML
Wed, 11 Nov 2009 14:15:11 +0100 wenzelm uniform use of simultabeous use_thys;
Wed, 28 Oct 2009 00:23:39 +0100 wenzelm tuned initial session setup;
Fri, 23 Oct 2009 13:23:18 +0200 himmelma distinguished session for multivariate analysis
less more (0) tip