Solutions to exercises 1.1 and 1.2
Spelling

s/definional/definitional
Solution to Exercice 1.3

Either this solution or the indication that the exercise requires
concept from the second chapter is false as I only used path induction
here…
Spelling

s/inside/inner
Fixed spacing
Merge pull request #436 from pellissier/master

Solutions to Exercises 1.1 to 1.3