finish correctness proof for interval multiplication
finish correctness proof for interval multiplication

Ignore-this: c9ab138a0ca43fe0b133b208419bbcc4

darcs-hash:20140711191547-f399b-4f424a0e34f9d938e5f97b1ae2fc8b80c63d8348

robdockins/domains