Mon, 19 Jul 2021 14:47:53 +0200 | blanchet | tuning | changeset | files |
Mon, 19 Jul 2021 14:47:53 +0200 | blanchet | parse TPTP operator @ also when not parenthesized | changeset | files |
Mon, 19 Jul 2021 14:47:52 +0200 | blanchet | removed setup for outdated CVC3 from Isabelle | changeset | files |