isabelle: Changelog

wenzelm [Sat, 01 Oct 2016 20:03:17 +0200] rev 63983

merged

wenzelm [Sat, 01 Oct 2016 19:30:21 +0200] rev 63982

tuned;

wenzelm [Sat, 01 Oct 2016 19:29:48 +0200] rev 63981

tuned proofs;

wenzelm [Sat, 01 Oct 2016 17:38:14 +0200] rev 63980

Isar proof of Schroeder_Bernstein without using Hilbert_Choice (and metis);

wenzelm [Sat, 01 Oct 2016 17:16:35 +0200] rev 63979

clarified lfp/gfp statements and proofs;

Lars Hupel <lars.hupel@mytum.de> [Sat, 01 Oct 2016 15:21:43 +0200] rev 63978

repair LaTeX

wenzelm [Sat, 01 Oct 2016 12:03:27 +0200] rev 63977

misc tuning for release;

wenzelm [Sat, 01 Oct 2016 11:14:00 +0200] rev 63976

added lemma;

paulson <lp15@cam.ac.uk> [Fri, 30 Sep 2016 17:12:50 +0100] rev 63975

Trying out "subgoal", and no more [| |]

hoelzl [Fri, 30 Sep 2016 15:51:43 +0200] rev 63974

HOL-Analysis: fix latex generation

isabelle