isabelle: Changelog

wenzelm [Sun, 19 Sep 2021 21:35:51 +0200] rev 74318

more control symbols;

wenzelm [Sun, 19 Sep 2021 21:14:14 +0200] rev 74317

support ML antiquotations with fn abstraction;

wenzelm [Sun, 19 Sep 2021 20:47:16 +0200] rev 74316

unused;

wenzelm [Thu, 16 Sep 2021 18:59:59 +0200] rev 74315

clarified operations: follow Isabelle/ML more closely;

wenzelm [Wed, 15 Sep 2021 19:46:03 +0200] rev 74314

provide current vampire-4.5.1: presently unused in Sledgehammer, but relevant for Isabelle/Naproche;

wenzelm [Wed, 15 Sep 2021 16:13:25 +0200] rev 74313

obsolete;

wenzelm [Wed, 15 Sep 2021 16:11:53 +0200] rev 74312

tuned;

wenzelm [Wed, 15 Sep 2021 16:02:04 +0200] rev 74311

clarified name and options for old vampire-4.2.2;

wenzelm [Mon, 13 Sep 2021 17:06:44 +0200] rev 74310

clarified signature;

haftmann [Mon, 13 Sep 2021 14:18:24 +0000] rev 74309

explicit predicate for confined bit range avoids cyclic rewriting in presence of extensionality rule for bit values (contributed by Thomas Sewell)

isabelle