Fri, 09 Jun 2017 18:36:25 +0200 | eberlm | Cleaned up and extended Probability/Tree_Space | changeset | files |
Fri, 09 Jun 2017 10:10:08 -0400 | hoelzl | HOL-Probability: use tree datastructure from Libary/Tree; hide left/right/var projections | changeset | files |