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 |