celerier/oslo — pull request #1 by djp73 (2012-06-07 18:16:15+00:00)
Title: please review and make further edits

Added in proof, references, and other edits for the closure point. Also
did some misc. edits.