some properties of converging prereals
some properties of converging prereals

Ignore-this: 273bfbb245302becd7ff402831827ffb

darcs-hash:20140706041401-f399b-9b0a75eba30381e0ec2ad028981ef0432f72aab0

robdockins/domains