isabelle: Changelog

wenzelm [Fri, 26 Jul 2019 15:29:10 +0200] rev 70419

tuned;

wenzelm [Fri, 26 Jul 2019 15:21:02 +0200] rev 70418

proper argument type (amending 42fbb6abed5a);

wenzelm [Fri, 26 Jul 2019 14:43:56 +0200] rev 70417

tuned signature;

wenzelm [Fri, 26 Jul 2019 14:27:46 +0200] rev 70416

tuned;

wenzelm [Fri, 26 Jul 2019 09:59:11 +0200] rev 70415

finalize proofs earlier to reduce memory requirement;

wenzelm [Fri, 26 Jul 2019 09:50:23 +0200] rev 70414

proper proof_serial;

wenzelm [Fri, 26 Jul 2019 09:50:12 +0200] rev 70413

more explicit type proof_serial;

wenzelm [Fri, 26 Jul 2019 09:35:02 +0200] rev 70412

defer rew_proof on unnamed PThm node as open_proof operation: significant performance improvement; misc tuning and clarification;

wenzelm [Thu, 25 Jul 2019 14:01:06 +0200] rev 70411

more accurate proof definitions (PThm nodes);

wenzelm [Wed, 24 Jul 2019 15:41:24 +0200] rev 70410

avoid duplicate Thm.name_derivation on unnamed PThm nodes ("simps" vs. "case_eqns" and "recursor_eqns");

isabelle