| Mon, 31 Mar 2025 22:46:18 +0100 | paulson | merged | changeset | files |
| Mon, 31 Mar 2025 22:46:11 +0100 | paulson | Some generalisations (mostly at the level of type classes) by Alexander Pach | changeset | files |
| Sun, 30 Mar 2025 20:20:27 +0200 | haftmann | tuned | changeset | files |
| Sun, 30 Mar 2025 20:20:26 +0200 | haftmann | tuned | changeset | files |
| Mon, 31 Mar 2025 19:17:51 +0200 | desharna | tuned | changeset | files |
| Mon, 31 Mar 2025 18:58:24 +0200 | desharna | tuned | changeset | files |
| Mon, 31 Mar 2025 18:55:45 +0200 | desharna | tuned signature | changeset | files |
| Mon, 31 Mar 2025 16:53:14 +0200 | blanchet | garbage collection | changeset | files |
| Mon, 31 Mar 2025 10:15:48 +0200 | desharna | removed old Vampire configuration from Sledgehammer | changeset | files |
| Mon, 31 Mar 2025 09:50:28 +0200 | desharna | removed old E configuration from Sledgehammer | changeset | files |
| Mon, 31 Mar 2025 09:30:44 +0200 | desharna | removed unused function | changeset | files |
| Sun, 30 Mar 2025 13:50:06 +0200 | haftmann | tuned namespace organisation | changeset | files |
| Sun, 30 Mar 2025 13:50:06 +0200 | haftmann | optional external files as code modules | changeset | files |
| Sun, 30 Mar 2025 11:21:34 +0200 | haftmann | proper markup for target language code | changeset | files |
| Sun, 30 Mar 2025 11:21:32 +0200 | haftmann | tuned | changeset | files |
| Fri, 28 Mar 2025 14:13:40 +0100 | haftmann | tuned | changeset | files |
| Fri, 28 Mar 2025 14:13:38 +0100 | haftmann | tuned | changeset | files |
| Fri, 28 Mar 2025 14:13:37 +0100 | haftmann | tuned | changeset | files |
| Fri, 28 Mar 2025 14:13:36 +0100 | haftmann | spelling | changeset | files |
| Fri, 28 Mar 2025 16:37:58 +0100 | desharna | tuned | changeset | files |
| Fri, 28 Mar 2025 16:20:48 +0100 | desharna | removed debug commands | changeset | files |
| Fri, 28 Mar 2025 16:17:39 +0100 | desharna | merged | changeset | files |
| Fri, 28 Mar 2025 16:11:05 +0100 | desharna | refactored tactic-based provers in sledgehammer to use Try0 module | changeset | files |
| Fri, 28 Mar 2025 16:09:20 +0100 | desharna | tuned stringification of proof method in try0 | changeset | files |
| Fri, 28 Mar 2025 11:56:18 +0100 | haftmann | simplified implementation of the_signed_int | changeset | files |
| Fri, 28 Mar 2025 08:56:13 +0100 | desharna | tuned | changeset | files |
| Fri, 28 Mar 2025 08:24:07 +0100 | desharna | merged | changeset | files |
| Thu, 27 Mar 2025 16:35:41 +0100 | desharna | tuned signature | changeset | files |
| Thu, 27 Mar 2025 14:33:08 +0100 | desharna | tuned and moved configuration of auto_try0 to theory HOL | changeset | files |
| Thu, 27 Mar 2025 13:44:42 +0100 | desharna | removed unused function | changeset | files |