isabelle: Changelog

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;

wenzelm [Thu, 10 Oct 2019 11:04:27 +0200] rev 70821

unused;

blanchet [Fri, 11 Oct 2019 11:08:32 +0200] rev 70820

document antiquotations + clarify porting text slightly

blanchet [Thu, 10 Oct 2019 16:59:37 +0200] rev 70819

updated veriT part of Sledgehammer documentation

blanchet [Thu, 10 Oct 2019 16:37:52 +0200] rev 70818

added para constrasting 'primrec' and 'fun' -- and removed my middle name

haftmann [Wed, 09 Oct 2019 14:51:54 +0000] rev 70817

dedicated fact collections for algebraic simplification rules potentially splitting goals

isabelle