The following is a list of typos in the paper

 P. Selinger. "Finite dimensional Hilbert spaces are complete for
 dagger compact closed categories". Logical Methods in Computer
 Science 8(3:6):1-12, 2012.

Note: these typos are only present in the published journal paper,
which is also the ArXiv paper; the version on my website has already
been corrected.

 * Page 7, proof of Lemma 5.4: 

          "Equation (5.4)" ----> "Equation (5.3)"

          "\theta_{out}" ----> "\theta_{in}" (twice)

   Thanks to Aleks Kissinger for pointing out this typo.