Fri, 26 Jul 2019 16:36:11 +0200 |
wenzelm |
tuned -- reorder sections;
|
changeset |
files
|
Fri, 26 Jul 2019 15:29:10 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Fri, 26 Jul 2019 15:21:02 +0200 |
wenzelm |
proper argument type (amending 42fbb6abed5a);
|
changeset |
files
|
Fri, 26 Jul 2019 14:43:56 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
Fri, 26 Jul 2019 14:27:46 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Fri, 26 Jul 2019 09:59:11 +0200 |
wenzelm |
finalize proofs earlier to reduce memory requirement;
|
changeset |
files
|
Fri, 26 Jul 2019 09:50:23 +0200 |
wenzelm |
proper proof_serial;
|
changeset |
files
|
Fri, 26 Jul 2019 09:50:12 +0200 |
wenzelm |
more explicit type proof_serial;
|
changeset |
files
|
Fri, 26 Jul 2019 09:35:02 +0200 |
wenzelm |
defer rew_proof on unnamed PThm node as open_proof operation: significant performance improvement;
|
changeset |
files
|
Thu, 25 Jul 2019 14:01:06 +0200 |
wenzelm |
more accurate proof definitions (PThm nodes);
|
changeset |
files
|
Wed, 24 Jul 2019 15:41:24 +0200 |
wenzelm |
avoid duplicate Thm.name_derivation on unnamed PThm nodes ("simps" vs. "case_eqns" and "recursor_eqns");
|
changeset |
files
|
Wed, 24 Jul 2019 13:30:15 +0200 |
wenzelm |
prefer local counter;
|
changeset |
files
|
Wed, 24 Jul 2019 13:19:00 +0200 |
wenzelm |
more accurate proof export;
|
changeset |
files
|
Wed, 24 Jul 2019 13:18:15 +0200 |
wenzelm |
clarified syntax;
|
changeset |
files
|