There is more chance of them working.
You might be able to use the 'C' versions of the TIP35 and TIP36 but the 'A' and 'B' versions do not have enough voltage rating. According to the data sheets, all the transistors have the same pin spacing.
Compare the transistors:
Elliot, MJL4281A/MJL4302A , VCEO = 350V, IC = 15A, PD = 230W.
Yours, 2SC3856/2SA1492, VCEO = 180V, IC = 15A, PD = 130W.
TIP35C/36C, VCEO = 100V, IC = 25A, PD = 125W.
As you can see there are significant differences even in those basic characteristics.
The diodes generate almost no heat and need no heat sink of their own, they should be thermally bonded to the heatsink used by the output transistors which will get VERY hot! I would consider it a design mistake if the thermal bonding was ignored as the bias point of the transistors would drift with temperature change. If the PCB doesn't allow contact you can always mount the diodes on the transistor heatsink and run wires to them.
Brian.