isabelle: Changelog

haftmann [Sun, 28 Jan 2018 16:38:48 +0000] rev 67525

avoid concrete (anti)mono in theorem names since it could be the other way round

wenzelm [Mon, 29 Jan 2018 19:26:14 +0100] rev 67524

more uniform documentation;

wenzelm [Mon, 29 Jan 2018 11:18:26 +0100] rev 67523

proper fall-back rendering of control symbol;

wenzelm [Sun, 28 Jan 2018 19:28:52 +0100] rev 67522

clarified take/drop/chop prefix/suffix;

wenzelm [Sun, 28 Jan 2018 16:09:00 +0100] rev 67521

clarified signature;

wenzelm [Sun, 28 Jan 2018 12:57:35 +0100] rev 67520

proper signature (amending c4e9e0c50487);

wenzelm [Sat, 27 Jan 2018 20:35:34 +0100] rev 67519

tuned output;

wenzelm [Sat, 27 Jan 2018 20:26:42 +0100] rev 67518

tuned;

wenzelm [Sat, 27 Jan 2018 19:57:37 +0100] rev 67517

explicit graph for chains, which contains all nts as nodes;

wenzelm [Sat, 27 Jan 2018 17:27:06 +0100] rev 67516

tuned;

isabelle