updated CoalMiners.Rd

git-svn-id: svn://svn.r-forge.r-project.org/svnroot/vcd@752 edb9625f-4e0d-4859-8d74-9fd3b1da38cb