Randy Johnson , Pedro Martinez , John Smoltz and Craig Biggio were elected to baseball's Hall of Fame on Tuesday. The Hall will ...