Who is doctor Robinson in the story of Tom Sawyer?

He is the Doctor Who goes grave robbing with Injun Joe and Muff Potter. He ends up dying when Injun Joe stabs him with Muff Potter's knife.