src/HOL/Analysis/Measurable.thy
Fri, 06 Apr 2018 17:34:50 +0200 immler a first shot at tagging for HOL-Analysis manual
Fri, 18 Aug 2017 20:47:47 +0200 wenzelm session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
Thu, 20 Oct 2016 18:41:59 +0200 hoelzl HOL-Probability: move stopping time from AFP/Markov_Models
Thu, 13 Oct 2016 18:36:06 +0200 hoelzl HOL-Probability: move conditional expectation from AFP/Ergodic_Theory
Fri, 30 Sep 2016 16:08:38 +0200 hoelzl HOL-Probability: more about probability, prepare for Markov processes in the AFP
Mon, 08 Aug 2016 14:13:14 +0200 hoelzl rename HOL-Multivariate_Analysis to HOL-Analysis.
less more (0) tip