| Tue, 23 May 2023 18:46:15 +0200 | wenzelm | tuned signature: more position information; | file | diff | annotate |
| Sat, 06 May 2023 23:20:20 +0200 | wenzelm | back to more elementary concept of aliases as adhoc change of accesses, but now with "suppress" information (see also 31ea5c1f874d); | file | diff | annotate |
| Fri, 05 May 2023 15:56:12 +0200 | wenzelm | more explicit entries for aliases, with proper checks in "strict" mode (e.g. for logical entities); | file | diff | annotate |
| Thu, 12 May 2016 22:06:18 +0200 | wenzelm | common entity definitions within a global or local theory context; | file | diff | annotate |