| Wed, 25 Apr 2018 16:40:29 +0100 |
paulson |
merged
|
changeset |
files
|
| Wed, 25 Apr 2018 15:36:48 +0100 |
paulson |
merged
|
changeset |
files
|
| Wed, 25 Apr 2018 15:36:29 +0100 |
paulson |
new material on matricies by Tim Makarios (from Tarskis_Geometry in the AFP)
|
changeset |
files
|
| Wed, 25 Apr 2018 16:03:15 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Wed, 25 Apr 2018 14:13:44 +0200 |
wenzelm |
tuned -- avoid spurious exception trace for "the";
|
changeset |
files
|
| Wed, 25 Apr 2018 13:29:21 +0000 |
haftmann |
proof of concept for residue rings over int using type numerals
|
changeset |
files
|
| Wed, 25 Apr 2018 09:04:26 +0000 |
haftmann |
more correct error message
|
changeset |
files
|
| Wed, 25 Apr 2018 09:04:25 +0000 |
haftmann |
uniform tagging for printable and non-printable literals
|
changeset |
files
|
| Tue, 24 Apr 2018 22:22:25 +0100 |
paulson |
merged
|
changeset |
files
|
| Tue, 24 Apr 2018 22:22:08 +0100 |
paulson |
fixing more messy proofs
|
changeset |
files
|
| Tue, 24 Apr 2018 18:10:08 +0200 |
wenzelm |
more ambitious parallelism (in contrast to a8ee8e4884ec): pri = 1 ensures that internal proof tasks are executed before the already forked theory outline with pri = 0;
|
changeset |
files
|
| Tue, 24 Apr 2018 16:59:40 +0200 |
wenzelm |
eliminated pointless special case (see also a8ee8e4884ec, c4c4c2f01723);
|
changeset |
files
|