| 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 |
| Tue, 08 Oct 2019 10:26:40 +0000 | haftmann | formally augmented corresponding rules for field_simps | changeset | files |
| Mon, 07 Oct 2019 21:51:31 +0200 | wenzelm | clarified option type; | changeset | files |