| Mon, 18 Dec 2023 21:31:39 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 18 Dec 2023 14:42:41 +0100 | wenzelm | clarified signature, following Term.subst_bounds_same; | changeset | files |
| Mon, 18 Dec 2023 14:35:11 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Mon, 18 Dec 2023 12:57:59 +0100 | wenzelm | minor performance tuning: more concise union; | changeset | files |
| Mon, 18 Dec 2023 12:02:58 +0100 | wenzelm | tuned comments; | changeset | files |
| Mon, 18 Dec 2023 11:19:15 +0100 | wenzelm | tuned, following close_proof; | changeset | files |
| Mon, 18 Dec 2023 11:15:22 +0100 | wenzelm | proper treatment of proof hyps, following 8368160d3c65; | changeset | files |
| Sun, 17 Dec 2023 22:58:32 +0100 | wenzelm | proper treatment of proof hyps: unchangeable, like bound; | changeset | files |