| 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
|
| Mon, 18 Apr 2016 14:47:27 +0200 |
wenzelm |
clarified bindings;
|
file |
diff |
annotate
|
| Mon, 18 Apr 2016 14:30:24 +0200 |
wenzelm |
clarified bindings;
|
file |
diff |
annotate
|
| Sun, 17 Apr 2016 20:54:17 +0200 |
wenzelm |
prefer binding over base name;
|
file |
diff |
annotate
|
| Thu, 07 Jan 2016 15:53:39 +0100 |
wenzelm |
more uniform treatment of package internals;
|
file |
diff |
annotate
|
| Sun, 06 Sep 2015 21:55:13 +0200 |
wenzelm |
do not expose low-level "_def" facts of 'function' definitions, to avoid potential confusion with the situation of plain 'definition';
|
file |
diff |
annotate
|
| Sun, 16 Aug 2015 19:25:08 +0200 |
wenzelm |
added Thm.chyps_of;
|
file |
diff |
annotate
|
| Sun, 05 Jul 2015 15:43:45 +0200 |
wenzelm |
clarified context;
|
file |
diff |
annotate
|