| Thu, 07 Aug 2025 21:40:03 +0200 | wenzelm | avoid legacy operations; | file | diff | annotate |
| Wed, 22 Jan 2025 22:22:19 +0100 | wenzelm | misc tuning: more concise operations on prems (without change of exceptions); | file | diff | annotate |
| Tue, 21 Jan 2025 16:12:27 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sat, 30 Nov 2024 22:33:21 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Wed, 07 Aug 2019 10:42:34 +0200 | wenzelm | more careful treatment of implicit context; | file | diff | annotate |
| Wed, 06 Dec 2017 20:43:09 +0100 | wenzelm | prefer control symbol antiquotations; | file | diff | annotate |
| Fri, 27 May 2016 20:23:55 +0200 | wenzelm | tuned proofs, to allow unfold_abs_def; | file | diff | annotate |