| Fri, 15 Oct 2021 21:59:46 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 15 Oct 2021 21:25:47 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 15 Oct 2021 21:10:54 +0200 | wenzelm | proper p' instead of p (amending 52c7c42e7e27); | changeset | files |
| 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 |