Thu, 15 Jun 2023 17:20:09 +1000 | kleing | optional description in Eisbach "method" command; | changeset | files |
Wed, 14 Jun 2023 15:47:27 +0200 | blanchet | disable 'falsify' and 'abduce' in Sledgehammer by default, since they don't seem to be very useful in practice | changeset | files |
Wed, 07 Jun 2023 17:09:17 +0200 | wenzelm | Added tag Isabelle2023-RC0 for changeset f4221ae7544c | changeset | files |