| Sun, 17 Dec 2023 22:58:32 +0100 | wenzelm | proper treatment of proof hyps: unchangeable, like bound; | changeset | files |
| Sun, 17 Dec 2023 22:57:20 +0100 | wenzelm | proper Thm.transfer (required for zproofs); | changeset | files |
| Sun, 17 Dec 2023 21:43:14 +0100 | wenzelm | clarified signature; | changeset | files |
| Sun, 17 Dec 2023 21:34:44 +0100 | wenzelm | proper beta_norm after instantiation (amending 90c5aadcc4b2); | changeset | files |