some more exercises on W-types
one more exercise
oops, fix some typos
yet one more exercise
Merge branch 'master' into Wexercises
autoref -> cref
typo in basic.tex
Typos in 5.2 and 10.5
Deleted an obsolete sentence
Merge pull request #682 from jledent/obsolete

Deleted an obsolete sentence
changed x to p
clash of notations between pairing and union
Merge pull request #680 from jledent/basics

typo in basic.tex
Merge pull request #681 from jledent/typos

Typos in 5.2 and 10.5
type of elements -> type of members
(marked) errata for ed2c765
(marked) erratum for 70c069e
oops
Merge pull request #684 from jledent/pairing

clash of notations between pairing and union
Merge branch 'master' into errata