isabelle: Changelog

Manuel Eberl <eberlm@in.tum.de> [Fri, 02 Sep 2016 08:54:46 +0200] rev 63767

Merged

Manuel Eberl <eberlm@in.tum.de> [Thu, 01 Sep 2016 11:53:07 +0200] rev 63766

Some facts about factorial and binomial coefficients

nipkow [Fri, 02 Sep 2016 08:34:26 +0200] rev 63765

added inorder2

wenzelm [Thu, 01 Sep 2016 21:28:55 +0200] rev 63764

tuned headers;

wenzelm [Thu, 01 Sep 2016 21:28:46 +0200] rev 63763

clarified session: use all theories in directory HOL/Library;

wenzelm [Thu, 01 Sep 2016 20:59:51 +0200] rev 63762

clarified session; misc tuning and modernization;

wenzelm [Thu, 01 Sep 2016 20:34:43 +0200] rev 63761

more careful quoting, e.g. relevant for \<^control>cartouche;

wenzelm [Thu, 01 Sep 2016 20:14:29 +0200] rev 63760

uniform capitalization of labels;

wenzelm [Thu, 01 Sep 2016 18:16:14 +0200] rev 63759

tuned message;

wenzelm [Thu, 01 Sep 2016 17:48:44 +0200] rev 63758

merged

isabelle