Wed, 14 Jun 2023 12:10:40 +0200 | wenzelm | tuned signature: more operations; | changeset | files |
Wed, 14 Jun 2023 11:47:43 +0200 | wenzelm | tuned signature: more operations; | changeset | files |
Wed, 14 Jun 2023 11:18:25 +0200 | wenzelm | tuned signature: more operations; | changeset | files |
Thu, 08 Jun 2023 14:45:31 +0200 | wenzelm | clarified signature; | changeset | files |
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 |