Mon, 14 Jan 2019 16:10:56 +0100 | nipkow | root_val -> value | file | diff | annotate |
Sun, 18 Nov 2018 18:07:51 +0000 | haftmann | removed legacy input syntax | file | diff | annotate |
Thu, 01 Nov 2018 12:23:54 +0100 | nipkow | too many clashes with "root" on reals | file | diff | annotate |
Thu, 01 Nov 2018 11:26:38 +0100 | nipkow | added and renamed functions | file | diff | annotate |
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 |