dpsanders/ValidatedNumerics.jl — pull request #5 by dpsanders (2014-10-01 16:25:33+00:00)
Title: Reorganisation of interval files.

I have split up what was Intervals.jl into several files.