| Wed, 06 Dec 2023 13:04:07 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 06 Dec 2023 10:29:37 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 06 Dec 2023 14:05:18 +0100 | blanchet | check that Isar proofs contain one 'show' | changeset | files |
| Wed, 06 Dec 2023 12:45:57 +0100 | blanchet | include unnamed chained facts in Sledgehammer's relevance filter | changeset | files |
| Wed, 06 Dec 2023 12:45:51 +0100 | blanchet | merge | changeset | files |
| Wed, 06 Dec 2023 12:03:56 +0100 | blanchet | removed hack in Sledgehammer that confuses preplay and gives Sledgehammer a strange semantics | changeset | files |
| Wed, 06 Dec 2023 11:08:39 +0100 | blanchet | don't freeze terms in Sledgehammer, as this has a bad impact on 'using' facts | changeset | files |