Those bores are right in the middle of the "full" range. Some makers got by with as little as 30 mils, but most probably put 35-40 mils in their full choked guns.
Today, if the intent is to shoot doubles at trap, most shooters will use something like a 15/30 mils combination, give or take. Keep in mind the better ammo in use today, too. In days of yore, trap doubles were not shot very much, which is a nice way of saying most people didn't bother getting all mental about it. I think the thought process was something along the lines of, "Hmm, it's trap times two, and trap is full choke, so two full chokes."
Of the ten or so trap double guns I have had the opportunity to put a bore gauge to, only one had something other than the favored full/full combination.
