isabelle: Changelog

paulson <lp15@cam.ac.uk> [Wed, 15 Jun 2016 15:52:24 +0100] rev 63305

Urysohn's lemma, Dugundji extension theorem and many other proofs

haftmann [Tue, 14 Jun 2016 20:48:42 +0200] rev 63304

non-deprecated char literals for Scala

haftmann [Tue, 14 Jun 2016 20:48:41 +0200] rev 63303

explicit resolution of ambiguous dictionaries

paulson <lp15@cam.ac.uk> [Tue, 14 Jun 2016 15:54:28 +0100] rev 63302

Merge

paulson <lp15@cam.ac.uk> [Tue, 14 Jun 2016 15:34:21 +0100] rev 63301

new results about topology

eberlm [Tue, 14 Jun 2016 15:35:14 +0200] rev 63300

Merged

eberlm [Tue, 14 Jun 2016 13:14:11 +0200] rev 63299

Integration by substitution

wenzelm [Tue, 14 Jun 2016 13:52:59 +0200] rev 63298

tuned;

wenzelm [Mon, 13 Jun 2016 22:42:38 +0200] rev 63297

tuned;

eberlm [Mon, 13 Jun 2016 17:39:52 +0200] rev 63296

Integral form of Gamma function

isabelle