Uncommented the inclusion of main.labels
Logical equivalence between torus and product of circles
Added solutions to exercises 6.1 and 6.3
Merge remote-tracking branch 'upstream/master'
kristina's torus
Merge pull request #646 from awodey/master

kristina's torus
exercise_solutions really does need to \input{main.labels}