This is the user manual for the Daikon invariant detector. It describes Daikon version 4.7.5, released December 12, 2013.