HomeIsabelle/Phabricator

refactor Approximation.thy to use more abstract type of intervals