isabelle: Changelog

paulson <lp15@cam.ac.uk> [Mon, 29 Apr 2019 17:11:26 +0100] rev 70214

moving around some material from Algebraic_Closure

paulson [Mon, 29 Apr 2019 16:50:34 +0100] rev 70213

merged

paulson <lp15@cam.ac.uk> [Mon, 29 Apr 2019 16:50:20 +0100] rev 70212

full proof of algebraic closure, by Paulo de Vilhena

paulson [Mon, 29 Apr 2019 00:36:54 +0100] rev 70211

merged

paulson <lp15@cam.ac.uk> [Mon, 29 Apr 2019 00:36:43 +0100] rev 70210

final tidying-up

paulson <lp15@cam.ac.uk> [Sun, 28 Apr 2019 18:06:47 +0100] rev 70209

further de-applying

paulson <lp15@cam.ac.uk> [Sun, 28 Apr 2019 16:50:19 +0100] rev 70208

removal of ASCII connectives; some de-applying

wenzelm [Sun, 28 Apr 2019 22:22:29 +0200] rev 70207

tuned -- according to main website;

wenzelm [Sun, 28 Apr 2019 22:20:39 +0200] rev 70206

more ambitious compression;

wenzelm [Sun, 28 Apr 2019 13:09:15 +0200] rev 70205

tuned signature;

isabelle