HomePhabricator

refactor Approximation.thy to use more abstract type of intervals

Authored by immler.

Description

refactor Approximation.thy to use more abstract type of intervals

Details

Committed
immlerNov 4 2019, 1:59 AM
Parents
rISABELLEdfcc1882d05a: moved theory Interval_Approximation from the AFP
Branches
Unknown
Tags
Unknown