Fri, 09 Jun 2017 10:10:08 -0400 | hoelzl | HOL-Probability: use tree datastructure from Libary/Tree; hide left/right/var projections | file | diff | annotate |
Wed, 07 Jun 2017 17:11:45 -0400 | hoelzl | HOL-Probability: add measurable space for trees | file | diff | annotate |