| Fri, 11 Jul 2025 14:37:23 +0200 |
wenzelm |
clarified signature: prefer canonical order (latest declarations first);
|
file |
diff |
annotate
|
| Fri, 11 Jul 2025 14:12:55 +0200 |
wenzelm |
clarified print order: follow original classical.ML, before 8aa1c98b948b;
|
file |
diff |
annotate
|
| Fri, 11 Jul 2025 14:03:09 +0200 |
wenzelm |
maintain collective rule declarations via type Bires.decls, with netpair operations derived from it;
|
file |
diff |
annotate
|
| Fri, 11 Jul 2025 11:59:22 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 11 Jul 2025 11:52:43 +0200 |
wenzelm |
clarified signature: rule declarations work via "info" as internal rule (which coincides with external rule);
|
file |
diff |
annotate
|
| Thu, 10 Jul 2025 12:40:45 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Wed, 09 Jul 2025 17:00:03 +0200 |
wenzelm |
redundant: Net.DELETE already handled;
|
file |
diff |
annotate
|
| Wed, 09 Jul 2025 11:09:00 +0200 |
wenzelm |
clarified signature: anticipate use in src/Provers/classical.ML;
|
file |
diff |
annotate
|
| Tue, 08 Jul 2025 12:10:00 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 08 Jul 2025 12:06:21 +0200 |
wenzelm |
tuned source structure;
|
file |
diff |
annotate
|
| Mon, 07 Jul 2025 22:11:44 +0200 |
wenzelm |
efficient rule declarations in canonical order, for update of netpairs and print operation;
|
file |
diff |
annotate
|
| Sun, 06 Jul 2025 14:59:48 +0200 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Sun, 06 Jul 2025 14:53:20 +0200 |
wenzelm |
clarified signature: more explicit type Bires.kind;
|
file |
diff |
annotate
|
| Sun, 06 Jul 2025 11:33:23 +0200 |
wenzelm |
just one type Bires.netpair, based on Bires.tag with explicit weight;
|
file |
diff |
annotate
|
| Sat, 05 Jul 2025 16:19:23 +0200 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
| Sat, 05 Jul 2025 16:12:48 +0200 |
wenzelm |
tuned signature: do not expose private operation;
|
file |
diff |
annotate
|
| Sat, 05 Jul 2025 16:01:40 +0200 |
wenzelm |
minor performance tuning;
|
file |
diff |
annotate
|
| Sat, 05 Jul 2025 15:53:52 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sat, 05 Jul 2025 15:03:26 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 05 Jul 2025 14:39:24 +0200 |
wenzelm |
tuned signature: more explicit types;
|
file |
diff |
annotate
|
| Sat, 05 Jul 2025 14:19:45 +0200 |
wenzelm |
clarified modules: explicit structure Bires;
|
file |
diff |
annotate
|