| Tue, 05 Jul 2016 14:20:27 +0200 |
wenzelm |
PIDE reports of implicit variable scope;
|
changeset |
files
|
| Tue, 05 Jul 2016 10:32:25 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| 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
|
| Mon, 04 Jul 2016 20:01:57 +0200 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| Mon, 04 Jul 2016 19:57:56 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Mon, 04 Jul 2016 19:39:59 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Mon, 04 Jul 2016 19:49:25 +0200 |
haftmann |
spelling
|
changeset |
files
|
| Mon, 04 Jul 2016 19:46:20 +0200 |
haftmann |
combinator to build partial equivalence relations from a predicate and an equivalenc relation
|
changeset |
files
|
| Mon, 04 Jul 2016 19:46:20 +0200 |
haftmann |
default one-step rules for predicates on relations;
|
changeset |
files
|
| Mon, 04 Jul 2016 19:46:20 +0200 |
haftmann |
basic facts about almost everywhere fix bijections
|
changeset |
files
|
| Mon, 04 Jul 2016 19:46:19 +0200 |
haftmann |
dedicated locale for total bijections
|
changeset |
files
|
| Mon, 04 Jul 2016 19:46:19 +0200 |
haftmann |
tuned sections
|
changeset |
files
|
| Mon, 04 Jul 2016 19:46:19 +0200 |
haftmann |
relating gbinomial and binomial, still using distinct definitions
|
changeset |
files
|
| Mon, 04 Jul 2016 19:08:54 +0200 |
wenzelm |
clarified fact position, notably for reports on literal facts;
|
changeset |
files
|
| Mon, 04 Jul 2016 14:51:19 +0200 |
wenzelm |
more accurate facts index;
|
changeset |
files
|
| Mon, 04 Jul 2016 11:11:19 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 04 Jul 2016 10:29:56 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|