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 |
Mon, 07 Oct 2019 17:20:26 +0200 | wenzelm | count document nodes via raw file length; | changeset | files |
Mon, 07 Oct 2019 15:04:18 +0200 | wenzelm | merged | changeset | files |
Mon, 07 Oct 2019 14:23:58 +0200 | wenzelm | clarified Load_State / load_limit; | changeset | files |