Fri, 19 Feb 2021 13:42:12 +0100 | Manuel Eberl | HOL-Analysis/Probability: Hoeffding's inequality, negative binomial distribution, etc. | file | diff | annotate |
Wed, 09 Oct 2019 14:51:54 +0000 | haftmann | dedicated fact collections for algebraic simplification rules potentially splitting goals | file | diff | annotate |
Thu, 11 Apr 2019 15:26:04 +0100 | paulson | type instantiations for poly_mapping as a real_normed_vector | file | diff | annotate |
Tue, 22 Jan 2019 12:00:16 +0000 | paulson | renamings and new material | file | diff | annotate |
Fri, 13 Apr 2018 15:58:27 +0100 | paulson | Probability builds with new definitions | file | diff | annotate |
Tue, 19 Dec 2017 13:58:12 +0100 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
Thu, 13 Oct 2016 18:36:06 +0200 | hoelzl | HOL-Probability: move conditional expectation from AFP/Ergodic_Theory | file | diff | annotate |