| Fri, 15 Oct 2021 20:54:13 +0200 | wenzelm | proper context for Goal.prove_internal; | changeset | files |
| Fri, 15 Oct 2021 19:25:31 +0200 | wenzelm | discontinued Term.dest_abs / Logic.dest_all, which are officially superseded by Variable.dest_abs etc., but there are also Term.dest_abs_global to recover existing tools easily; | changeset | files |
| Fri, 15 Oct 2021 17:45:47 +0200 | wenzelm | more accurate treatment of context, notably for nested Goal.proof / SUBPROOF; | changeset | files |
| Fri, 15 Oct 2021 14:18:11 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 15 Oct 2021 13:41:15 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 15 Oct 2021 12:55:21 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 15 Oct 2021 11:42:36 +0200 | wenzelm | spelling; | changeset | files |