isabelle: Changelog

wenzelm [Tue, 05 Jul 2016 22:47:48 +0200] rev 63399

more antiquotations;

wenzelm [Tue, 05 Jul 2016 22:23:17 +0200] rev 63398

tuned;

wenzelm [Tue, 05 Jul 2016 21:23:21 +0200] rev 63397

merged

wenzelm [Tue, 05 Jul 2016 20:51:02 +0200] rev 63396

PIDE reports of implicit variable scope;

wenzelm [Tue, 05 Jul 2016 14:20:27 +0200] rev 63395

PIDE reports of implicit variable scope;

wenzelm [Tue, 05 Jul 2016 10:32:25 +0200] rev 63394

tuned;

hoelzl [Tue, 05 Jul 2016 20:29:58 +0200] rev 63393

Probability: simplified Levy's uniqueness theorem

blanchet [Tue, 05 Jul 2016 18:00:21 +0200] rev 63392

avoid reference to invisible theorem, by using another one instead (suggested by Anders Schlichtkrull; the document's author is incomunicado)

blanchet [Tue, 05 Jul 2016 17:52:08 +0200] rev 63391

tuning

blanchet [Tue, 05 Jul 2016 17:52:08 +0200] rev 63390

typo (reported by Anders Schlichtkrull)

isabelle