Josh,
The Spice Rack page is out of date. I do not see a reason why you could not use the TINA TI smart diode models with the LM25118. I guess it depends on what you are trying to do.
I would not use the smart diode (SM74611) model as a bridge as they are designed for photovoltaic applications.
If you are simply looking for a diode model to use for a bridge in TINA-TI, click on the Semiconductors tab and select one of the many built in diodes in TINA-TI. You can also import a specific diode model into TINA-TI using the New Macro Wizard if you have a preferred diode to use.
Britt