Mon, 04 Jul 2011 20:18:19 +0200 | wenzelm | explicit class Counter; | changeset | files |
Mon, 04 Jul 2011 16:54:58 +0200 | wenzelm | merged | changeset | files |
Mon, 04 Jul 2011 10:23:46 +0200 | hoelzl | the borel probability measure is easier to handle with {0 ..< 1} (coverable by disjoint intervals {_ ..< _}) | changeset | files |