A thermodynamic description for water, hydrogen fluoride and hydrogen dissolutions in cryolite-base molten salts.