Fri, 18 Aug 2017 20:47:47 +0200 | wenzelm | session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a; | file | diff | annotate |
Sat, 10 Jun 2017 14:54:56 +0200 | eberlm | More rules for Probability/Tree_Space | file | diff | annotate |
Fri, 09 Jun 2017 18:36:25 +0200 | eberlm | Cleaned up and extended Probability/Tree_Space | file | diff | annotate |
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 |