Mon, 25 Sep 2023 17:16:32 +0200 | blanchet | avoid legacy binding errors in Sledgehammer Isar proofs | changeset | files |
Mon, 25 Sep 2023 17:16:32 +0200 | blanchet | parse applie lambdas correctly plus deal gracefully with lambda-lifting in Zipperposition | changeset | files |
Mon, 25 Sep 2023 17:16:32 +0200 | blanchet | added argo | changeset | files |