Mon, 06 Dec 2010 19:54:56 +0100 | hoelzl | folding on arbitrary Lebesgue integrable functions | changeset | files |
Mon, 06 Dec 2010 19:54:53 +0100 | hoelzl | fixed spelling errors | changeset | files |
Mon, 06 Dec 2010 19:54:48 +0100 | hoelzl | move coercions to appropriate places | changeset | files |