HomePhabricator
Authored by immler.

Description

merged

Details

Committed
immlerNov 5 2019, 4:02 PM
Parents
rISABELLEbd3d4702b4f2: add lemmas
rISABELLEc1b63124245c: tuned
Branches
Unknown
Tags
Unknown

Merged Changes

CommitAuthorDetailsCommitted
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