Quantum phase space distributions in thermofield dynamics