| Sun, 10 Dec 2023 11:42:57 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sun, 10 Dec 2023 11:24:42 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sat, 09 Dec 2023 21:48:50 +0100 |
wenzelm |
avoid accidental capture of theory value, and thus reduce heap size again (amending 5109e4b2a292);
|
changeset |
files
|
| Sat, 09 Dec 2023 21:25:26 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 09 Dec 2023 21:15:12 +0100 |
wenzelm |
more robust: proper Proofterm.get_proofs_level with bound check;
|
changeset |
files
|
| Sat, 09 Dec 2023 20:50:21 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 09 Dec 2023 20:37:36 +0100 |
wenzelm |
clarified signature: fewer tuples;
|
changeset |
files
|
| Sat, 09 Dec 2023 20:05:13 +0100 |
wenzelm |
clarified signature: fewer tuples;
|
changeset |
files
|
| Sat, 09 Dec 2023 17:31:10 +0100 |
wenzelm |
clarified signature: more explicit get_proofs_level with bounds check;
|
changeset |
files
|
| Fri, 08 Dec 2023 20:56:21 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Fri, 08 Dec 2023 20:47:03 +0100 |
wenzelm |
misc tuning and clarification: more standard Same.commit discipline;
|
changeset |
files
|
| Fri, 08 Dec 2023 20:08:52 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 08 Dec 2023 19:52:24 +0100 |
wenzelm |
tuned names;
|
changeset |
files
|
| Fri, 08 Dec 2023 19:29:05 +0100 |
wenzelm |
more operations;
|
changeset |
files
|