| Thu, 23 Jan 2025 22:19:30 +0100 | wenzelm | support for @{instantiate (no_beta) ...}; | file | diff | annotate |
| Fri, 20 Oct 2023 16:40:41 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Fri, 29 Oct 2021 11:59:02 +0200 | wenzelm | avoid persistence of static context: instantiation arguments should provide proper dynamic context (see also e2e2bc1f9570); | file | diff | annotate |
| Thu, 28 Oct 2021 18:37:33 +0200 | wenzelm | support for "lemma"; | file | diff | annotate |
| Thu, 28 Oct 2021 13:20:45 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 26 Oct 2021 16:01:05 +0200 | wenzelm | clarified modules; | file | diff | annotate |