Janie, that they were from a market suggests they were probably homegrown.
The first photo - the three toms together - is a German Johnson, an American heirloom from, from memory, around Virginia. I'm not sure how the seeds would have found their way to the UK that long ago.
It's very similar to a tom called German Pink, a variety from, you guessed it, Germany. A lot closer to the UK than Virginia, USA. German Pink is a green-shouldered variety.
Here's a German Pink:
There's quite a bit of yellow on the shoulders in the photo. There's usually more green.
The second photo - two toms, one with vivid green - is of an heirloom tom called Cherokee Purple. Absolutely delicious tom, rich in flavour. I grow them every year. But it can't have been your tom because Cherokee Purple has only been around for 20-odd years.
Pity you never saw the plant from which the toms came. It would help narrow things down. For example, German Pink is a Potato Leaf variety, the leaves have virtually smooth edges, as distinct from the jagged, saw-tooth edges of the traditional tomato leaf.