Mon, 08 Aug 2016 14:13:14 +0200 | hoelzl | rename HOL-Multivariate_Analysis to HOL-Analysis. | changeset | files |
Fri, 05 Aug 2016 18:34:57 +0200 | hoelzl | move measure theory from HOL-Probability to HOL-Multivariate_Analysis | changeset | files |
Sun, 07 Aug 2016 12:10:49 +0200 | wenzelm | misc tuning and modernization; | changeset | files |