Glendale, Ariz. – If Monday night’s win was Derrick Henry’s final game at Alabama, he made sure to leave his mark before his departure.

Though Henry said after the Crimson Tide’s 45-40 victory over Clemson in the College Football Playoff National Championship that he hasn’t yet made a decision about next season, it’s expected that the junior running back will declare for the 2016 NFL Draft.

If that’s the case, he still owned the record books, even while playing just three seasons.

Here’s a look at all the records Henry set during his run with the Crimson Tide.

Derrick Henry Records:

School

• Broke Shaun Alexander’s career rushing yards record of 3,565 (against Clemson).
NOW: 3,591

• Broke Trent Richardson’s single-season rushing yards record of 1,679 (against Auburn).
NOW: 2,219

• Broke Trent Richardson’s single-season all-purpose yards of 2,083 (against Michigan State in the College Football Playoff semifinals).
NOW: 2,310

• Tied Shaun Alexander, Bobby Humphrey and T.J. Yeldon’s career 100-yard rushing games record of 15 (against Clemson).
NOW: 15

• Broke Mark Ingram and Trent Richardson’s single-season 100-yard rushing games record of 9 (against Florida in the SEC Championship Game).
NOW: 10

• Tied Bobby Humphrey’s career 200-yard rushing games record of 4 (against Auburn).
NOW: 4

• Broke Bo Jackson’s Iron Bowl rushing yards record of 256 (against Auburn).
NOW: 271

• Broke Bobby Humphrey’s single-season yards per game record of 133.7 (against Clemson).
NOW: 154

• Tied Mark Ingram’s career rushing touchdowns record of 42 (against Clemson).
NOW: 42

• Broke Trent Richardson’s single-season rushing touchdowns record of 21 (against Auburn).
NOW: 28

• Broke Terry Davis’ consecutive games with a (rushing) touchdown record of 10 (against Arkansas).
NOW: 20

• Broke Shaun Alexander’s single-season rushing attempts record of 302 (against Florida in the SEC Championship Game).
NOW: 395

• Broke Johnny Musso’s single-game (and Iron Bowl) rushing attempts record of 42 (against Auburn).
NOW: 46

SEC

• Broke Herschel Walker’s single-season rushing yards record of 1,891 (against Florida in the SEC Championship Game).
NOW: 2,219

• Broke Tim Tebow and Tre Mason’s single-season rushing touchdowns record of 23 (against Michigan State in the College Football Playoff semifinals).
NOW: 28

• Broke Tim Tebow’s consecutive games with a (rushing) touchdown record of 14 (against Mississippi State).
NOW: 20

• Broke Tre Mason’s single-season points scored record of 150 (against Clemson).
NOW: 168

• Tied Herschel Walker and Bo Jackson’s single-season record for 200-yard rushing games of 4 (against Auburn).
NOW: 4

• Broke Herschel Walker’s single-season rushing attempts record of 385 (against Clemson).
NOW: 395

Other

• Became the 19th FBS to rush for 2,000 yards in a single season (against Michigan State in the College Football Playoff semifinals).
• Became the second Heisman Trophy winner in Alabama history (behind Mark Ingram in 2009).
• Became the second Alabama player to win the Doak Walker Award, which is presented annually to the nation's top running back (behind Trent Richardson).
• Became the second Alabama player to win the Maxwell Award (behind AJ McCarron).
• Became the first Alabama player to win the Walter Camp Player of the Year Award.
• Became first running back to win the Maxwell Award since Larry Johnson in 2002.
• Became first player to win the Walter Camp, Doak Walker and Maxwell awards in the same season since Larry Johnson in 2002.