Martinez, Johnson elected into HOF
— -- Pedro Martinez, Randy Johnson, John Smoltz and Craig Biggio were elected into the National Baseball Hall of Fame on Tuesday.
— -- Pedro Martinez, Randy Johnson, John Smoltz and Craig Biggio were elected into the National Baseball Hall of Fame on Tuesday.