| Fri, 20 Sep 2024 19:51:08 +0200 |
wenzelm |
standardize mixfix annotations via "isabelle update -a -u mixfix_cartouches" --- to simplify systematic editing;
|
file |
diff |
annotate
|
| Fri, 19 Jan 2024 13:56:26 +0100 |
Mathias Fleury |
fix reconstruction of Alethe's and_pos rule
|
file |
diff |
annotate
|
| Wed, 31 Aug 2022 22:59:16 +0200 |
wenzelm |
eliminated tabs, assuming tab-width=8;
|
file |
diff |
annotate
|
| Mon, 22 Aug 2022 06:27:28 +0200 |
Mathias Fleury |
remove duplicate parsing for alethe; fix skolemization;
|
file |
diff |
annotate
|
| Fri, 11 Mar 2022 16:43:09 +0100 |
Mathias Fleury |
fix handling of lambdas in reconstruction of eq_congruent
|
file |
diff |
annotate
|
| Fri, 01 Oct 2021 22:35:32 +0200 |
Mathias Fleury |
update syntax for verit
|
file |
diff |
annotate
|
| Fri, 05 Mar 2021 22:23:57 +0100 |
wenzelm |
obsolete (see f3378101f555);
|
file |
diff |
annotate
|
| Mon, 14 Dec 2020 21:02:57 +0100 |
Mathias Fleury |
improve and activate compression for veriT proof reconstruction
|
file |
diff |
annotate
|
| Mon, 12 Oct 2020 18:59:44 +0200 |
Mathias Fleury |
add reconstruction for the SMT solver veriT
|
file |
diff |
annotate
|