isabelle: Changelog

wenzelm [Fri, 11 Oct 2019 16:28:36 +0200] rev 70831

tuned;

wenzelm [Fri, 11 Oct 2019 15:36:32 +0200] rev 70830

clarified signature;

wenzelm [Fri, 11 Oct 2019 11:16:36 +0200] rev 70829

tuned signature;

wenzelm [Thu, 10 Oct 2019 16:51:47 +0200] rev 70828

more compact XML representation;

wenzelm [Thu, 10 Oct 2019 15:52:30 +0200] rev 70827

proper generalize_proof: schematic variables need to be explicit in the resulting proof term (for shrink/reconstruct operation);

wenzelm [Thu, 10 Oct 2019 15:18:40 +0200] rev 70826

tuned;

wenzelm [Thu, 10 Oct 2019 15:10:07 +0200] rev 70825

tuned -- more direct ML expressions;

wenzelm [Thu, 10 Oct 2019 15:00:36 +0200] rev 70824

clarified modules;

wenzelm [Thu, 10 Oct 2019 14:55:26 +0200] rev 70823

tuned whitespace;

wenzelm [Thu, 10 Oct 2019 14:53:48 +0200] rev 70822

more accurate treatment of propositions within proof terms, but these are ultimately ignored for performance reasons;

isabelle