#
04fc1499 |
|
12-Sep-2019 |
paulson <lp15@cam.ac.uk> |
new material on Analysis, plus some rearrangements
|
#
82636439 |
|
14-Jan-2019 |
nipkow <none@none> |
root_val -> value
|
#
09859749 |
|
18-Nov-2018 |
haftmann <none@none> |
removed legacy input syntax
|
#
50c87ed3 |
|
31-Oct-2018 |
nipkow <none@none> |
too many clashes with "root" on reals
|
#
552931d5 |
|
01-Nov-2018 |
nipkow <none@none> |
added and renamed functions
|
#
17bc899d |
|
18-Aug-2017 |
wenzelm <none@none> |
session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
|
#
f69777eb |
|
10-Jun-2017 |
eberlm <eberlm@in.tum.de> |
More rules for Probability/Tree_Space
|
#
1e6dbed9 |
|
09-Jun-2017 |
eberlm <eberlm@in.tum.de> |
Cleaned up and extended Probability/Tree_Space
|
#
00ffdde2 |
|
09-Jun-2017 |
hoelzl <none@none> |
HOL-Probability: use tree datastructure from Libary/Tree; hide left/right/var projections --HG-- extra : rebase_source : 2487dae35d283da1830922a61a9964ee4fb02516
|
#
c8826754 |
|
07-Jun-2017 |
hoelzl <none@none> |
HOL-Probability: add measurable space for trees
|