| Wed, 30 Mar 2011 21:07:48 +0200 | wenzelm | inline lemmas instead of accidental physical addressing -- explicit is better than implicit; | changeset | files |
| Wed, 30 Mar 2011 20:21:40 +0200 | wenzelm | tuned white space and indentation; | changeset | files |
| Wed, 30 Mar 2011 20:19:21 +0200 | wenzelm | actually check list comprehension examples; | changeset | files |
| Wed, 30 Mar 2011 17:54:10 +0200 | hoelzl | products of probability measures are probability measures | changeset | files |