math/{mpbarrett,mpmont}.h: Provide correctness proofs for these methods.
[catacomb] / math / mpx.h
2013-06-22 Mark WoodingRearrange the file tree.