initial commit of Interval_Integral.thy