Wed, 08 Dec 2010 16:47:45 +0100 |
work around problems with eta-expansion of equations
|
file | diff | annotate |
Wed, 08 Dec 2010 14:52:23 +0100 |
nice syntax for lattice INFI, SUPR;
|
file | diff | annotate |
Mon, 06 Dec 2010 19:54:56 +0100 |
folding on arbitrary Lebesgue integrable functions
|
file | diff | annotate |
Mon, 06 Dec 2010 19:54:53 +0100 |
fixed spelling errors
|
file | diff | annotate |
Fri, 03 Dec 2010 15:25:14 +0100 |
it is known as the extended reals, not the infinite reals
|
file | diff | annotate |
Wed, 01 Dec 2010 20:12:53 +0100 |
Tuned setup for borel_measurable with min, max and psuminf.
|
file | diff | annotate |
Wed, 01 Dec 2010 20:09:41 +0100 |
Replace algebra_eqI by algebra.equality;
|
file | diff | annotate |
Wed, 01 Dec 2010 19:20:30 +0100 |
Support product spaces on sigma finite measures.
|
file | diff | annotate | base |