-
You need to be careful with (potentially) mixing tapers though.
I have run a couple sets of stronglights on 107mm jis taper bbs with good chainline results so I believe they are jis and a quick google seems to support this. Thus we can assume that the bottom bracket currently fitted is a 107mm jis.
If you fit an iso bb,the jis cranks will sit further onto the taper than intended and the bolts may bottom out on the axle. The chainline would also be less than ideal. Going to a 112mm axle may rectify the chainline but there's still the bottoming out issue.
If you go to a 113mm jis bb then potentially the chainline will be out by 3mm which is fairly significant (that's assuming the 113mm spindle is symmetrical, I know Shimano 110mm spindles are not and actually produce the same chainline as a 107mm).
Long story short, you really want to be getting the cranks off and measuring the spindle and potentially getting the bb out to see what it is.
If you take the cranks off and the spindle is 107mm I'd say you're fairly safe to assume that its a jis taper.
If indeed you do need a Campagnolo (ISO) taper 112mm BB (which I haven't checked) then a 113mm spindle will only push each crank 0.5mm outboard compared to the 112mm spindle and I don't think your bike will mind at all.