Fri, 10 Sep 2021 14:59:19 +0200 |
wenzelm |
clarified signature: more scalable operations;
|
file |
diff |
annotate
|
Thu, 09 Sep 2021 17:20:41 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Thu, 09 Sep 2021 12:33:14 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Mon, 06 Sep 2021 14:05:22 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Mon, 06 Sep 2021 12:23:06 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Mon, 06 Sep 2021 12:11:17 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Mon, 06 Sep 2021 11:55:54 +0200 |
wenzelm |
more scalable operations;
|
file |
diff |
annotate
|
Mon, 06 Sep 2021 11:32:18 +0200 |
wenzelm |
more efficient operations: traverse hyps only when required;
|
file |
diff |
annotate
|
Sun, 05 Sep 2021 21:09:31 +0200 |
wenzelm |
more scalable operations;
|
file |
diff |
annotate
|
Sun, 05 Sep 2021 19:47:06 +0200 |
wenzelm |
unused;
|
file |
diff |
annotate
|
Sat, 04 Sep 2021 22:17:15 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sat, 04 Sep 2021 22:05:35 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Sat, 04 Sep 2021 21:25:08 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Sat, 04 Sep 2021 18:21:58 +0200 |
wenzelm |
more scalable operations;
|
file |
diff |
annotate
|
Fri, 03 Sep 2021 18:57:33 +0200 |
wenzelm |
more scalable data structure (but: rarely used many arguments);
|
file |
diff |
annotate
|
Thu, 26 Aug 2021 14:45:19 +0200 |
wenzelm |
more scalable data structure (but: rarely used with > 5 arguments);
|
file |
diff |
annotate
|
Fri, 09 Aug 2019 17:14:49 +0200 |
wenzelm |
formal position for PThm nodes;
|
file |
diff |
annotate
|
Tue, 06 Aug 2019 16:29:28 +0200 |
wenzelm |
more robust and convenient treatment of implicit context;
|
file |
diff |
annotate
|
Fri, 02 Aug 2019 11:23:09 +0200 |
wenzelm |
clarified modules: inference kernel maintains sort algebra within the logic;
|
file |
diff |
annotate
|
Sat, 13 Apr 2019 21:43:41 +0200 |
wenzelm |
meson: more cterm operations;
|
file |
diff |
annotate
|
Sat, 13 Apr 2019 16:42:19 +0200 |
wenzelm |
tuned signature -- more ctyp operations;
|
file |
diff |
annotate
|
Mon, 01 Oct 2018 16:40:45 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 20 Sep 2018 22:39:39 +0200 |
wenzelm |
clarified standardization of variables, with proper treatment of local variables;
|
file |
diff |
annotate
|
Mon, 06 Aug 2018 11:06:43 +0200 |
wenzelm |
export shyps as regular typargs;
|
file |
diff |
annotate
|
Fri, 29 Jun 2018 14:19:52 +0200 |
wenzelm |
disallow hyps in export;
|
file |
diff |
annotate
|
Sun, 25 Feb 2018 15:44:46 +0100 |
wenzelm |
eliminated ASCII syntax from Pure bootstrap;
|
file |
diff |
annotate
|
Tue, 13 Dec 2016 11:51:42 +0100 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
Thu, 28 Apr 2016 15:42:52 +0200 |
wenzelm |
unfold is subject to unfold_abs_def (still inactive);
|
file |
diff |
annotate
|
Tue, 05 Apr 2016 20:03:24 +0200 |
wenzelm |
clarified modules -- simplified bootstrap;
|
file |
diff |
annotate
|
Tue, 15 Dec 2015 16:57:10 +0100 |
wenzelm |
tuned signature -- clarified modules;
|
file |
diff |
annotate
|