src/Pure/ML/ml_statistics.ML
2016-09-05 wenzelm 2016-09-05 clarified modules;
2016-04-10 wenzelm 2016-04-10 tuned comments;
2016-02-28 wenzelm 2016-02-28 support only polyml-5.3.0 and polyml-5.6;