| Tue, 05 Jul 2016 20:29:58 +0200 |
hoelzl |
Probability: simplified Levy's uniqueness theorem
|
changeset |
files
|
| Tue, 05 Jul 2016 18:00:21 +0200 |
blanchet |
avoid reference to invisible theorem, by using another one instead (suggested by Anders Schlichtkrull; the document's author is incomunicado)
|
changeset |
files
|
| Tue, 05 Jul 2016 17:52:08 +0200 |
blanchet |
tuning
|
changeset |
files
|
| Tue, 05 Jul 2016 17:52:08 +0200 |
blanchet |
typo (reported by Anders Schlichtkrull)
|
changeset |
files
|
| Tue, 05 Jul 2016 11:47:49 +0200 |
hoelzl |
simplified proof for measurability of isCont
|
changeset |
files
|
| Tue, 05 Jul 2016 13:05:04 +0200 |
fleury |
instantiate multiset with multiset ordering
|
changeset |
files
|
| Tue, 05 Jul 2016 10:26:23 +0200 |
Lars Hupel |
more accurate total timing
|
changeset |
files
|
| Tue, 05 Jul 2016 09:50:20 +0200 |
Lars Hupel |
merged
|
changeset |
files
|
| Mon, 04 Jul 2016 18:20:51 +0200 |
Lars Hupel |
tuned
|
changeset |
files
|
| Mon, 04 Jul 2016 20:51:04 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Mon, 04 Jul 2016 20:48:55 +0200 |
wenzelm |
NEWS;
|
changeset |
files
|
| Mon, 04 Jul 2016 20:33:47 +0200 |
wenzelm |
clarified positions, e.g. for reports on literal facts;
|
changeset |
files
|