| Tue, 08 Oct 2019 16:54:23 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 08 Oct 2019 16:17:19 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 08 Oct 2019 16:11:04 +0200 | wenzelm | proper treatment of sorts; | changeset | files |
| Tue, 08 Oct 2019 16:04:59 +0200 | wenzelm | tuned app_types: more direct map_proof_types_same; | changeset | files |
| Tue, 08 Oct 2019 14:27:11 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 09 Oct 2019 18:48:15 +0200 | blanchet | generalized parsing, for e.g. Leo-III | changeset | files |
| Wed, 09 Oct 2019 15:32:41 +0100 | paulson | More theorems about limits, including cancellation simprules | changeset | files |