isabelle: Changelog

paulson <lp15@cam.ac.uk> [Sun, 14 Apr 2019 13:32:26 +0100] rev 70164

Group theory developments towards proving algebraic closure (by de Vilhena and Baillon)

paulson [Sun, 14 Apr 2019 12:00:17 +0100] rev 70163

merged

paulson <lp15@cam.ac.uk> [Sun, 14 Apr 2019 11:59:54 +0100] rev 70162

markup fixes

paulson [Sat, 13 Apr 2019 19:27:37 +0100] rev 70161

merged

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;

isabelle