A look at the documentation or the source is always helpful. I guess, the correct file to refer to would have been product-attributes.php. For getting the product attributes this is available: get_attribute() ; to list them list_attributes() can be used, which makes use of the product-attributes.php template. You can use those and then hook into the fitting one to display the attributes. To learn more about hooks give the Plugin API a good thorough read.
