isabelle: Changelog

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

wenzelm [Wed, 09 Oct 2019 23:00:52 +0200] rev 70816

merged

wenzelm [Wed, 09 Oct 2019 23:00:12 +0200] rev 70815

tuned;

wenzelm [Wed, 09 Oct 2019 22:52:34 +0200] rev 70814

misc tuning and clarification;

isabelle