| Mon, 03 Oct 2016 15:46:08 +0200 | hoelzl | Probability: variant of central limit theorem with non-zero mean | changeset | files |
| Fri, 30 Sep 2016 16:08:38 +0200 | hoelzl | HOL-Probability: more about probability, prepare for Markov processes in the AFP | changeset | files |
| Mon, 03 Oct 2016 14:09:26 +0100 | paulson | Merge | changeset | files |
| Mon, 03 Oct 2016 13:01:01 +0100 | paulson | new theorems including the theory FurtherTopology | changeset | files |
| Mon, 03 Oct 2016 12:39:03 +0200 | wenzelm | clarified magic values (see also java/io/BufferedInputStream.java); | changeset | files |
| Mon, 03 Oct 2016 12:28:36 +0200 | wenzelm | clarified stream operations; | changeset | files |
| Mon, 03 Oct 2016 12:24:22 +0200 | wenzelm | tuned signature; | changeset | files |