isabelle: Changelog

blanchet [Mon, 02 Jul 2018 10:17:23 +0200] rev 68565

update Sledgehammer docs w.r.t. Vampire

blanchet [Mon, 02 Jul 2018 10:03:11 +0200] rev 68564

added Vampire component

blanchet [Mon, 02 Jul 2018 10:02:44 +0200] rev 68563

added option for noncommercial Vampire

paulson [Sun, 01 Jul 2018 20:29:23 +0100] rev 68562

merged

paulson <lp15@cam.ac.uk> [Sun, 01 Jul 2018 20:28:47 +0100] rev 68561

new lemmas, de-applying, etc.

wenzelm [Sun, 01 Jul 2018 19:51:04 +0200] rev 68560

tuned;

wenzelm [Sun, 01 Jul 2018 19:50:33 +0200] rev 68559

merged

wenzelm [Sun, 01 Jul 2018 12:38:37 +0200] rev 68558

discontinued pending_shyps: too much complication due to lazy facts;

wenzelm [Sun, 01 Jul 2018 12:37:24 +0200] rev 68557

proper error;

paulson [Sun, 01 Jul 2018 16:46:28 +0100] rev 68556

merged

isabelle