Anyone know what kind of shifters these are?

I used to run those pro-matics, good reliable shifter back in the day.