Fri, 01 Jul 2022 16:03:10 +0200 |
wenzelm |
discontinued Isabelle tools implemented as .scala scripts;
|
changeset |
files
|
Fri, 01 Jul 2022 11:44:06 +0200 |
desharna |
tuned proofs
|
changeset |
files
|
Thu, 30 Jun 2022 22:49:47 +0200 |
wenzelm |
clarified heap alignment, to make it potentially more stable on macOS;
|
changeset |
files
|
Wed, 29 Jun 2022 22:33:08 +0200 |
desharna |
tuned proof
|
changeset |
files
|
Wed, 29 Jun 2022 20:41:29 +0200 |
desharna |
added lemmas domain_comp and unify_gives_minimal_domain
|
changeset |
files
|
Wed, 29 Jun 2022 15:36:19 +0200 |
desharna |
added definition range_vars and lemmas vars_of_subst_conv_Union, vars_of_subst_subset, range_vars_comp_subset, and unify_gives_minimal_range
|
changeset |
files
|
Wed, 29 Jun 2022 14:17:12 +0200 |
desharna |
merged
|
changeset |
files
|
Wed, 29 Jun 2022 10:13:34 +0200 |
desharna |
added definition IMGU and lemmas IMGU_iff_Idem_and_MGU and unify_computes_IMGU
|
changeset |
files
|
Wed, 29 Jun 2022 12:17:25 +0200 |
wenzelm |
more macOS versions;
|
changeset |
files
|
Tue, 28 Jun 2022 17:55:30 +0200 |
wenzelm |
prefer Isabelle/Scala operations;
|
changeset |
files
|
Tue, 28 Jun 2022 15:34:05 +0200 |
wenzelm |
merged
|
changeset |
files
|
Tue, 28 Jun 2022 15:29:17 +0200 |
wenzelm |
clarified IO, following Java 11 and Isabelle/Scala;
|
changeset |
files
|
Tue, 28 Jun 2022 15:23:05 +0200 |
wenzelm |
prefer Scala operations;
|
changeset |
files
|
Tue, 28 Jun 2022 15:17:47 +0200 |
wenzelm |
minor tuning;
|
changeset |
files
|