| Wed, 12 Feb 2025 00:40:57 +0100 | wenzelm | removed unused imports; | changeset | files |
| Tue, 11 Feb 2025 23:31:12 +0100 | wenzelm | proper Boolean polarity (amending 527daf6823fb after 3b0f8f1010f2); | changeset | files |
| Tue, 11 Feb 2025 13:09:18 +0100 | wenzelm | merged | changeset | files |
| Mon, 10 Feb 2025 10:51:59 +0100 | wenzelm | Added tag Isabelle2025-RC2 for changeset 5888f0bec971 | changeset | files |
| Wed, 12 Feb 2025 18:22:55 +0100 | Fabian Huch | add document options to build_sync, since Sessions.Info is read from export database for document generation (amending 6e5397fcc41b); | changeset | files |
| Wed, 12 Feb 2025 16:27:24 +0000 | paulson | A couple of additional lemmas | changeset | files |
| Wed, 12 Feb 2025 08:48:15 +0100 | desharna | merged | changeset | files |
| Wed, 12 Feb 2025 08:47:44 +0100 | desharna | tuned Sledgehammer's TPTP generation | changeset | files |