The Wigner distribution function