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 |
Wed, 15 Sep 2021 16:11:53 +0200 | wenzelm | tuned; | changeset | files |