| Thu, 12 Sep 2019 14:51:45 +0100 |
paulson |
new material on Analysis, plus some rearrangements
|
file |
diff |
annotate
|
| 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
|