Version 1.0, released 2016-05-31

- Initial release
- Contains proofs of all the theorems in the paper