HomeIsabelle/Phabricator

moved theory Interval from the AFP

Authored by immler.