HomePhabricator
Authored by nipkow.

Description

merged

Details

Committed
nipkowNov 5 2019, 7:15 PM
Parents
rISABELLE9d2753406c60: removed redundant lemma
rISABELLEddd4aefc540f: merged
Branches
Unknown
Tags
Unknown

Merged Changes

CommitAuthorDetailsCommitted
ddd4aefc540fimmler
merged 
Nov 5
bd3d4702b4f2immler
add lemmas 
Nov 5
f630f2e707a6immler
refactor Approximation.thy to use more abstract type of intervals 
Nov 4
dfcc1882d05aimmler
moved theory Interval_Approximation from the AFP 
Nov 4
6fe5a0e1fa8eimmler
moved theory Interval from the AFP 
Oct 28
e0755162093fimmler
replace approximation oracle by less ad-hoc @{computation}s 
Nov 4