Initial commit, documents included

Previous group's final version.