isabelle: Changelog

wenzelm [Mon, 29 Jul 2019 18:16:51 +0200] rev 70440

more diagnostic operations;

wenzelm [Mon, 29 Jul 2019 15:10:30 +0200] rev 70439

tuned -- non-strict args;

wenzelm [Mon, 29 Jul 2019 11:38:05 +0200] rev 70438

proper constrains_map -- for shyps that are covered by present variables (amending 251f1fb44ccd);

wenzelm [Mon, 29 Jul 2019 11:21:41 +0200] rev 70437

tuned signature;

wenzelm [Mon, 29 Jul 2019 11:09:37 +0200] rev 70436

clarified signature; tuned;

wenzelm [Mon, 29 Jul 2019 10:26:12 +0200] rev 70435

tuned signature;

nipkow [Mon, 29 Jul 2019 16:26:06 +0200] rev 70434

News for bind infixl

nipkow [Mon, 29 Jul 2019 14:28:30 +0200] rev 70433

Monadic bind is now infixl as is the norm

wenzelm [Sun, 28 Jul 2019 15:39:30 +0200] rev 70432

purge remains from test (cf. 5a53724fe247);

wenzelm [Sun, 28 Jul 2019 14:37:32 +0200] rev 70431

tuned;

isabelle