What was Alan Hale's best known co-discovery formally designated as? 
Alan Hale (astronomer): is an American professional astronomer, best known for his co-discovery of Comet Hale–Bopp along with amateur astronomer Thomas Bopp.
i don't know