Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Probability/Probability.thy
changeset 73253 f6bb31879698
parent 66026 704e4970d703 
--- a/src/HOL/Probability/Probability.thy	Tue Feb 16 17:12:02 2021 +0000
+++ b/src/HOL/Probability/Probability.thy	Fri Feb 19 13:42:12 2021 +0100
@@ -10,6 +10,8 @@
   Projective_Limit
   Random_Permutations
   SPMF
+  Product_PMF
+  Hoeffding
   Stream_Space
   Tree_Space
   Conditional_Expectation
isabelle