isabelle: Changelog

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");

wenzelm [Wed, 24 Jul 2019 13:30:15 +0200] rev 70409

prefer local counter;

wenzelm [Wed, 24 Jul 2019 13:19:00 +0200] rev 70408

more accurate proof export;

isabelle