isabelle: Changelog

kuncar [Sun, 30 Oct 2016 13:15:14 +0100] rev 64431

types to sets: initial commit

blanchet [Sat, 29 Oct 2016 00:39:33 +0200] rev 64430

avoid code generator warnings when deleting equations in BNF commands (e.g., datatype) in locales with assumptions and similar

blanchet [Sat, 29 Oct 2016 00:39:32 +0200] rev 64429

adapted Nunchaku integration to keyword renaming

wenzelm [Fri, 28 Oct 2016 20:41:18 +0200] rev 64428

tuned;

wenzelm [Fri, 28 Oct 2016 20:01:38 +0200] rev 64427

merged

wenzelm [Fri, 28 Oct 2016 19:08:35 +0200] rev 64426

Added tag Isabelle2016-1-RC1 for changeset 9ee2480d10b7

kuncar [Fri, 28 Oct 2016 19:54:41 +0200] rev 64425

a more general relator domain rule for the function type

wenzelm [Fri, 28 Oct 2016 16:59:25 +0200] rev 64424

Haskabelle is presently unmaintained;

wenzelm [Fri, 28 Oct 2016 15:47:18 +0200] rev 64423

tuned;

wenzelm [Thu, 27 Oct 2016 21:52:44 +0200] rev 64422

merged

isabelle