This is the user manual for the Daikon invariant detector. It describes Daikon version 4.7.3, released November 1, 2013.