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 |
Wed, 09 Oct 2019 14:39:10 +0100 | paulson | Generalised two results concerning limits from the real numbers to type classes | changeset | files |