isabelle: Changelog

hoelzl [Fri, 30 Sep 2016 16:08:38 +0200] rev 64008

HOL-Probability: more about probability, prepare for Markov processes in the AFP

paulson <lp15@cam.ac.uk> [Mon, 03 Oct 2016 14:09:26 +0100] rev 64007

Merge

paulson <lp15@cam.ac.uk> [Mon, 03 Oct 2016 13:01:01 +0100] rev 64006

new theorems including the theory FurtherTopology

wenzelm [Mon, 03 Oct 2016 12:39:03 +0200] rev 64005

clarified magic values (see also java/io/BufferedInputStream.java);

wenzelm [Mon, 03 Oct 2016 12:28:36 +0200] rev 64004

clarified stream operations; added XZ data compression;

wenzelm [Mon, 03 Oct 2016 12:24:22 +0200] rev 64003

tuned signature;

wenzelm [Mon, 03 Oct 2016 10:51:51 +0200] rev 64002

clarified modules; afford explicit string composition in terminate_lines;

wenzelm [Mon, 03 Oct 2016 10:49:27 +0200] rev 64001

more general read_stream: return actual byte count;

wenzelm [Sun, 02 Oct 2016 22:05:40 +0200] rev 64000

clarified modules;

wenzelm [Sun, 02 Oct 2016 21:05:14 +0200] rev 63999

more operations;

isabelle