Tue, 05 Nov 2019 19:13:47 +0100 | nipkow | removed redundant lemma | changeset | files |
Tue, 05 Nov 2019 10:02:09 -0500 | immler | merged | changeset | files |
Mon, 04 Nov 2019 21:41:55 -0500 | immler | add lemmas | changeset | files |
Sun, 03 Nov 2019 19:59:56 -0500 | immler | refactor Approximation.thy to use more abstract type of intervals | changeset | files |
Sun, 03 Nov 2019 19:58:02 -0500 | immler | moved theory Interval_Approximation from the AFP | changeset | files |
Sun, 27 Oct 2019 21:51:14 -0400 | immler | moved theory Interval from the AFP | changeset | files |