isabelle: Changelog

traytel [Tue, 10 Dec 2019 01:06:39 +0100] rev 71262

extension of lift_bnf to support quotient types

traytel [Tue, 10 Dec 2019 01:06:39 +0100] rev 71261

unfold intermediate (internal) pred definitions

paulson <lp15@cam.ac.uk> [Mon, 09 Dec 2019 16:37:26 +0000] rev 71260

corrected some confusing terminology / notation

paulson <lp15@cam.ac.uk> [Mon, 09 Dec 2019 16:13:36 +0000] rev 71259

Ramsey with multiple colours and arbitrary exponents

paulson <lp15@cam.ac.uk> [Mon, 09 Dec 2019 15:36:51 +0000] rev 71258

a few new and tidier proofs (mostly about finite sets)

wenzelm [Mon, 09 Dec 2019 11:17:34 +0100] rev 71257

clarified signature: store full theory name;

nipkow [Sun, 08 Dec 2019 17:42:58 +0100] rev 71256

merged

nipkow [Sun, 08 Dec 2019 17:42:53 +0100] rev 71255

moved lemmas

wenzelm [Fri, 06 Dec 2019 19:56:45 +0100] rev 71254

merged

wenzelm [Fri, 06 Dec 2019 17:05:52 +0100] rev 71253

suppress record types: not working properly;

isabelle