Thu, 16 Sep 2021 18:59:59 +0200 | wenzelm | clarified operations: follow Isabelle/ML more closely; | changeset | files |
Wed, 15 Sep 2021 19:46:03 +0200 | wenzelm | provide current vampire-4.5.1: presently unused in Sledgehammer, but relevant for Isabelle/Naproche; | changeset | files |
Wed, 15 Sep 2021 16:13:25 +0200 | wenzelm | obsolete; | changeset | files |