| Thu, 20 Feb 2025 21:58:23 +0100 |
wenzelm |
tuned NEWS;
|
changeset |
files
|
| Wed, 19 Feb 2025 20:34:32 +0100 |
wenzelm |
more NEWS;
|
changeset |
files
|
| Wed, 19 Feb 2025 11:16:19 +0100 |
wenzelm |
Added tag Isabelle2025-RC3 for changeset 52290d6ab92d
|
changeset |
files
|
| Fri, 28 Feb 2025 13:50:38 +0000 |
paulson |
merged
|
changeset |
files
|
| Fri, 28 Feb 2025 13:50:18 +0000 |
paulson |
Some new lemmas and some tidying
|
changeset |
files
|
| Fri, 28 Feb 2025 14:18:50 +0100 |
desharna |
tuned code and signature of try0
|
changeset |
files
|
| Fri, 28 Feb 2025 12:46:25 +0100 |
desharna |
tuned: restricted visibility of definitions
|
changeset |
files
|
| Fri, 28 Feb 2025 11:36:59 +0100 |
desharna |
tuned signature
|
changeset |
files
|
| Fri, 28 Feb 2025 11:13:13 +0100 |
desharna |
added type names and type annotations
|
changeset |
files
|
| Fri, 28 Feb 2025 10:42:40 +0100 |
desharna |
tuned to use stronger type Time.time
|
changeset |
files
|
| Tue, 25 Feb 2025 17:44:20 +0100 |
desharna |
compute right timeout (from Jasmin)
|
changeset |
files
|
| Tue, 25 Feb 2025 17:44:11 +0100 |
desharna |
clarify inteaction of tactic hammer and suggest_of=smart (from Jasmin)
|
changeset |
files
|
| Tue, 25 Feb 2025 17:44:06 +0100 |
desharna |
tentatively catch Interrupt_Breakdown in Sledgehammer (from Jasmin)
|
changeset |
files
|
| Tue, 25 Feb 2025 17:44:01 +0100 |
desharna |
more tactics in tactic hammer (from Jasmin)
|
changeset |
files
|
| Tue, 25 Feb 2025 17:43:58 +0100 |
desharna |
tactic hammer documentation (from Jasmin)
|
changeset |
files
|
| Tue, 25 Feb 2025 17:43:53 +0100 |
desharna |
tuned time slicing (from Jasmin)
|
changeset |
files
|
| Tue, 25 Feb 2025 17:43:48 +0100 |
desharna |
tuning time slices in Sledgehammer (from Jasmin)
|
changeset |
files
|
| Tue, 25 Feb 2025 17:43:33 +0100 |
desharna |
don't rerun tactic in minimizer -- this just redoes the same proof search again (from Jasmin)
|
changeset |
files
|
| Tue, 25 Feb 2025 17:41:52 +0100 |
desharna |
rescale Sledgehammer slice factor (to allow smaller time slices for tactics like auto) (from Jasmin)
|
changeset |
files
|
| Tue, 25 Feb 2025 17:37:45 +0100 |
desharna |
take chained facts into consideration in tactic hammer (from Jasmin)
|
changeset |
files
|
| Tue, 25 Feb 2025 17:37:41 +0100 |
desharna |
initial work on Magnushammer-inspured tactic hammer (from Jasmin)
|
changeset |
files
|
| Tue, 25 Feb 2025 15:54:41 +0100 |
desharna |
added lemmas monotone_on_sup_fun, monotone_on_inf_fun, antimonotone_on_sup_fun, antimonotone_on_inf_fun (thanks to Alexander Pach)
|
changeset |
files
|
| Tue, 25 Feb 2025 14:23:25 +0100 |
desharna |
tuned options given to modern E
|
changeset |
files
|
| Fri, 21 Feb 2025 18:46:59 +0100 |
nipkow |
weakened type class (thanks to Alexander Pach)
|
changeset |
files
|
| Wed, 19 Feb 2025 11:11:14 +0100 |
wenzelm |
back to post-release mode -- after fork point;
|
changeset |
files
|
| Wed, 19 Feb 2025 10:12:35 +0100 |
nipkow |
added lemma
|
changeset |
files
|
| Wed, 19 Feb 2025 09:26:48 +0100 |
nipkow |
tuned
|
changeset |
files
|
| Tue, 18 Feb 2025 19:59:42 +0100 |
wenzelm |
obsolete;
|
changeset |
files
|