Mon, 04 Nov 2019 21:41:55 -0500 add lemmas
immler [Mon, 04 Nov 2019 21:41:55 -0500] rev 71237
add lemmas
Sun, 03 Nov 2019 19:59:56 -0500 refactor Approximation.thy to use more abstract type of intervals
immler [Sun, 03 Nov 2019 19:59:56 -0500] rev 71236
refactor Approximation.thy to use more abstract type of intervals
Sun, 03 Nov 2019 19:58:02 -0500 moved theory Interval_Approximation from the AFP
immler [Sun, 03 Nov 2019 19:58:02 -0500] rev 71235
moved theory Interval_Approximation from the AFP
Sun, 27 Oct 2019 21:51:14 -0400 moved theory Interval from the AFP
immler [Sun, 27 Oct 2019 21:51:14 -0400] rev 71234
moved theory Interval from the AFP
Sun, 03 Nov 2019 21:46:46 -0500 replace approximation oracle by less ad-hoc @{computation}s
immler [Sun, 03 Nov 2019 21:46:46 -0500] rev 71233
replace approximation oracle by less ad-hoc @{computation}s
Tue, 05 Nov 2019 19:13:47 +0100 removed redundant lemma
nipkow [Tue, 05 Nov 2019 19:13:47 +0100] rev 71232
removed redundant lemma
Tue, 05 Nov 2019 14:57:41 +0100 tuned
nipkow [Tue, 05 Nov 2019 14:57:41 +0100] rev 71231
tuned
Tue, 05 Nov 2019 13:56:34 +0100 merged
nipkow [Tue, 05 Nov 2019 13:56:34 +0100] rev 71230
merged
Tue, 05 Nov 2019 12:00:23 +0000 Merge and get rid of closed_segmentI
paulson <lp15@cam.ac.uk> [Tue, 05 Nov 2019 12:00:23 +0000] rev 71229
Merge and get rid of closed_segmentI
Tue, 05 Nov 2019 13:56:22 +0100 tuned
nipkow [Tue, 05 Nov 2019 13:56:22 +0100] rev 71228
tuned
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip