isabelle: Changelog

nipkow [Thu, 23 Apr 2020 22:54:23 +0200] rev 71795

split AVL_Set.thy

blanchet [Thu, 23 Apr 2020 16:52:14 +0200] rev 71794

avoid passing chained facts twice to preplay in Sledgehammer

blanchet [Thu, 23 Apr 2020 15:45:42 +0200] rev 71793

tweaked Vampire's options + tuning

wenzelm [Thu, 23 Apr 2020 13:49:46 +0200] rev 71792

more robust Isabelle_System.init (amending c0bc99aad936): avoid non-termination on Windows (java.lang.StackOverflowError);

wenzelm [Thu, 23 Apr 2020 13:23:04 +0200] rev 71791

back to more modest (but uniform) Java stack, see 97fc4f657bda;

wenzelm [Thu, 23 Apr 2020 12:03:16 +0200] rev 71790

more generous Java memory, also hoping to prevent spurious java.lang.StackOverflowError in isabelle_cronjob;

nipkow [Thu, 23 Apr 2020 09:57:41 +0200] rev 71789

added lemmas

haftmann [Tue, 21 Apr 2020 07:28:17 +0000] rev 71788

hooks for foundational terms: protection of foundational terms during simplification

wenzelm [Wed, 22 Apr 2020 19:22:43 +0200] rev 71787

merged

wenzelm [Wed, 22 Apr 2020 18:38:21 +0200] rev 71786

merged

isabelle