HomeIsabelle/Phabricator
Authored by immler.

Description

merged

Details

Merged Changes

CommitAuthorDetailsCommitted
c5944c920143immler
moved Interval and Interval_Approximation to isabelle 
Nov 5 2019