Wed, 06 Jan 2016 16:17:50 +0100 | wenzelm | misc tuning for release; | changeset | files |
Wed, 06 Jan 2016 12:18:53 +0100 | hoelzl | add the proof of the central limit theorem | changeset | files |
Wed, 06 Jan 2016 13:04:31 +0100 | blanchet | nicer 'Spec_Rules' for size function | changeset | files |