isabelle: Changelog

wenzelm [Thu, 14 Oct 2021 16:03:20 +0200] rev 74518

clarified signature;

desharna [Thu, 14 Oct 2021 16:56:02 +0200] rev 74517

tuned Vampire configuration to use TFX in Sledgehammer

desharna [Mon, 18 Oct 2021 11:15:59 +0200] rev 74516

added Mirabelle action presburger

desharna [Mon, 18 Oct 2021 11:11:59 +0200] rev 74515

added timing to Mirabelle action arith

desharna [Mon, 18 Oct 2021 11:11:22 +0200] rev 74514

added error message on invalid Mirabelle action

paulson <lp15@cam.ac.uk> [Fri, 15 Oct 2021 12:42:51 +0100] rev 74513

A few new lemmas plus some refinements

desharna [Thu, 14 Oct 2021 15:24:28 +0200] rev 74512

merged

desharna [Mon, 20 Sep 2021 10:30:56 +0200] rev 74511

produced Mirabelle output directly in ML until Scala output gets fixed

wenzelm [Wed, 13 Oct 2021 13:21:09 +0200] rev 74510

clarified signature;

wenzelm [Wed, 13 Oct 2021 13:19:09 +0200] rev 74509

clarified signature;

isabelle