isabelle: Changelog

wenzelm [Tue, 30 Jul 2019 11:41:39 +0200] rev 70443

clarified modules;

wenzelm [Tue, 30 Jul 2019 11:12:52 +0200] rev 70442

discontinue clean_proof: without type args its PThm nodes are not expanded, but with type args it is too unstable;

wenzelm [Mon, 29 Jul 2019 18:44:39 +0200] rev 70441

merged

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

isabelle