isabelle: Changelog

paulson <lp15@cam.ac.uk> [Sat, 13 Apr 2019 19:23:47 +0100] rev 70160

Towards a proof of algebraic closure (NB not finished)

wenzelm [Sat, 13 Apr 2019 22:06:40 +0200] rev 70159

tuned signature;

wenzelm [Sat, 13 Apr 2019 21:51:24 +0200] rev 70158

prefer ctyp operations;

wenzelm [Sat, 13 Apr 2019 21:43:41 +0200] rev 70157

meson: more cterm operations;

wenzelm [Sat, 13 Apr 2019 19:58:28 +0200] rev 70156

more ctyp operations;

wenzelm [Sat, 13 Apr 2019 19:27:12 +0200] rev 70155

tuned;

wenzelm [Sat, 13 Apr 2019 18:50:48 +0200] rev 70154

clarified: use existing Thm.dest_ctyp_fun (which is more strict);

wenzelm [Sat, 13 Apr 2019 16:56:12 +0200] rev 70153

prefer exception TYPE, e.g. when used within conversion;

wenzelm [Sat, 13 Apr 2019 16:42:19 +0200] rev 70152

tuned signature -- more ctyp operations;

wenzelm [Sat, 13 Apr 2019 16:33:33 +0200] rev 70151

clarified group of "main" library sessions;

isabelle