| Wed, 12 Jan 2022 16:33:07 +0100 | desharna | merged | changeset | files |
| Tue, 11 Jan 2022 22:07:04 +0100 | desharna | split option "sledgehammer_atp_dest_dir" into "sledgehammer_atp_prob_dest_dir" and "sledgehammer_atp_proof_dest_dir" | changeset | files |
| Tue, 11 Jan 2022 12:08:03 +0100 | desharna | proper name mangling of "undefined" constants in Sledgehammer | changeset | files |
| Tue, 11 Jan 2022 06:48:02 +0000 | haftmann | earlier availability of lifting | changeset | files |
| Tue, 11 Jan 2022 06:47:47 +0000 | haftmann | more correct transfer | changeset | files |
| Mon, 10 Jan 2022 21:34:09 +0100 | desharna | merged | changeset | files |
| Mon, 10 Jan 2022 14:13:23 +0100 | desharna | proper abstraction of function variables when instantiating induction rules in Sledgehammer | changeset | files |
| Mon, 10 Jan 2022 13:11:18 +0100 | desharna | added lemma asympD | changeset | files |