move interval_measure to Isabelle