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