Tue, 28 Sep 2021 16:01:13 +0200 | wenzelm | outer syntax: support for control-cartouche tokens; | changeset | files |
Tue, 28 Sep 2021 20:58:04 +0200 | nipkow | merged | changeset | files |
Tue, 28 Sep 2021 20:57:57 +0200 | nipkow | An example | changeset | files |
Tue, 28 Sep 2021 10:47:18 +0200 | desharna | prefer veriT over Z3 in sledgehammer | changeset | files |
Tue, 28 Sep 2021 10:38:36 +0200 | desharna | added Zipperposition to sledgehammer's default provers | changeset | files |
Mon, 27 Sep 2021 20:45:26 +0200 | wenzelm | provide zipperposition-2.1 (still unused); | changeset | files |
Mon, 27 Sep 2021 11:19:56 +0200 | blanchet | tuned docs | changeset | files |