| Wed, 23 Nov 2022 11:48:07 +0100 |
blanchet |
compile
|
changeset |
files
|
| Wed, 23 Nov 2022 11:26:50 +0100 |
blanchet |
correctly show '(> 2 s, timed out)' or similar in Sledgehammer's output
|
changeset |
files
|
| Mon, 21 Nov 2022 18:23:32 +0100 |
desharna |
merged
|
changeset |
files
|
| Mon, 21 Nov 2022 13:53:04 +0100 |
desharna |
strengthened and renamed lemma reflp_on_equality
|
changeset |
files
|
| Mon, 21 Nov 2022 13:48:58 +0100 |
desharna |
renamed lemmas linorder.totalp_on_(ge|greater|le|less) and preorder.reflp_(ge|le)
|
changeset |
files
|
| Mon, 21 Nov 2022 16:21:49 +0000 |
paulson |
Added an example for Isabelle/CTT
|
changeset |
files
|
| Sun, 20 Nov 2022 23:53:39 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sun, 20 Nov 2022 23:37:54 +0100 |
wenzelm |
clarified signature: more explicit types;
|
changeset |
files
|
| Sun, 13 Nov 2022 21:59:19 +0100 |
wenzelm |
tuned output;
|
changeset |
files
|
| Sun, 13 Nov 2022 21:31:45 +0100 |
wenzelm |
prefer sorted result;
|
changeset |
files
|
| Sun, 13 Nov 2022 20:45:49 +0100 |
wenzelm |
separate style for re-use;
|
changeset |
files
|
| Sun, 13 Nov 2022 20:28:39 +0100 |
wenzelm |
ML support for the Prism.js syntax highlighter -- via Isabelle/Scala;
|
changeset |
files
|
| Sun, 13 Nov 2022 14:56:24 +0100 |
wenzelm |
retain data structures more accurately;
|
changeset |
files
|
| Sat, 12 Nov 2022 19:09:41 +0100 |
wenzelm |
proper join without delimiter;
|
changeset |
files
|