Minor formatting and note in Ratified.
1 patch for repository http://darcs.net:
Mon Jan 30 06:51:04 EST 2012 Will Langstroth <will@langstroth.com>
* Format export in Ratified
Also a note for further documentation, as there are two exports and one explicit
import.