| #
551b6192 |
|
05-Mar-2019 |
haftmann <none@none> |
avoid context-sensitive simp rules whose context-free form (image_comp) is not simp by default
|
| #
97b2ecf5 |
|
08-Nov-2018 |
haftmann <none@none> |
removed relics of ASCII syntax for indexed big operators
|
| #
a7ccdf43 |
|
10-Jan-2018 |
nipkow <none@none> |
ran isabelle update_op on all sources
|
| #
17bc899d |
|
18-Aug-2017 |
wenzelm <none@none> |
session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
|
| #
c2d49d41 |
|
17-Aug-2017 |
eberlm <eberlm@in.tum.de> |
Replaced subseq with strict_mono
|
| #
dc1c0020 |
|
28-Sep-2016 |
paulson <lp15@cam.ac.uk> |
new material connected with HOL Light measure theory, plus more rationalisation
|
| #
7baf2986 |
|
13-Jun-2016 |
hoelzl <none@none> |
Probability: tuned headers; cleanup Radon_Nikodym
--HG--
extra : rebase_source : b1923775a469aec44566a1d1da6c9d6e69cb0de4
|
| #
a2bc0021 |
|
25-Apr-2016 |
wenzelm <none@none> |
eliminated old 'def';
tuned comments;
|
| #
15ee6658 |
|
24-Feb-2016 |
paulson <lp15@cam.ac.uk> |
Substantial new material for multivariate analysis. Also removal of some duplicates.
|
| #
5ad25152 |
|
05-Jan-2016 |
hoelzl <none@none> |
add the proof of the central limit theorem
--HG--
extra : rebase_source : 493d99e28392771c51f4102a11b90533880e289f
extra : amend_source : 3fb7b7c607104e57a2c3ba7f733dd570eb42fa3b
|