isabelle: Changelog

nipkow [Fri, 21 Feb 2020 17:51:56 +0100] rev 71463

tuned deletion

traytel [Thu, 20 Feb 2020 09:05:19 +0100] rev 71462

merged

traytel [Wed, 19 Feb 2020 15:49:10 +0100] rev 71461

additional lemmas about alw and suntil (by Michael Foster)

wenzelm [Wed, 19 Feb 2020 20:00:07 +0100] rev 71460

proper print mode for function_space notation (amending d68b705719ce);

wenzelm [Wed, 19 Feb 2020 15:40:28 +0100] rev 71459

proper file name (amending ce3409dfb18c);

nipkow [Tue, 18 Feb 2020 18:08:11 +0100] rev 71458

merged

nipkow [Tue, 18 Feb 2020 18:08:08 +0100] rev 71457

tuned proof

wenzelm [Tue, 18 Feb 2020 15:40:37 +0100] rev 71456

more robust pretty printing of broken YXML, e.g. single "\^E";

wenzelm [Mon, 17 Feb 2020 20:49:47 +0100] rev 71455

merged

wenzelm [Mon, 17 Feb 2020 20:35:04 +0100] rev 71454

proper sort constraints for strip_shyps, for sort relations used in minimization;

isabelle