  This text consists of additions to the book "Foundations of Garside Theory",
EMS Tracts in Mathematics, vol. 22 (2015) -- see introduction and table of
contents in arXiv:1309.0796 -- namely skipped proofs and solutions to selected
exercises.
