| 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 |