| 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
|
| Sat, 02 Jul 2016 20:22:25 +0200 |
haftmann |
simplified definitions of combinatorial functions
|
changeset |
files
|
| Sat, 02 Jul 2016 15:02:24 +0200 |
haftmann |
define binomial coefficents directly via combinatorial definition
|
changeset |
files
|
| Sat, 02 Jul 2016 08:41:05 +0200 |
haftmann |
more theorems
|
changeset |
files
|