| Tue, 08 Apr 2025 21:32:44 +0100 | paulson | Another Eberl lemma plus tidying | changeset | files |
| Tue, 08 Apr 2025 20:05:54 +0100 | paulson | Another of Manuel's theorems | changeset | files |
| Tue, 08 Apr 2025 19:06:09 +0100 | paulson | merged | changeset | files |
| Tue, 08 Apr 2025 19:06:00 +0100 | paulson | More of Manuel's material | changeset | files |
| Tue, 08 Apr 2025 17:36:07 +0200 | desharna | removed iprover from try0 because its name is clashing with iProver in Sledgehammer | changeset | files |
| Mon, 07 Apr 2025 12:36:56 +0200 | desharna | expanded Sledgehammer's schedule (loosely inspired by "Hammering without ATPs" evaluation) | changeset | files |
| Mon, 07 Apr 2025 09:13:10 +0200 | desharna | added try0's schedule to sledgehammer's schedule | changeset | files |