My '58 factory service manual lists them. I don't know what other years might have had them but they don't show up in the '48-'51 manual reprint.
It's my understanding the xx.5 series tires were the early tubeless tires and had to be installed on the special xx.5 rims.