Not for the whole soundtrack since it's never been released, but
Super Mario Sound Collection: Happy! Mario 20th Super Mario Bros. shows he wrote some of the most important music. He certainly contributed significantly with at least several tracks, even if he wasn't the main composer.