CREATE TABLE table_name_72 (year VARCHAR2, award VARCHAR2, category VARCHAR2)

What year was there a Tony award category of Best Revival of a Musical?
SELECT year FROM table_name_72 WHERE award = "tony award" AND category = "best revival of a musical"
SELECT "year" FROM "table_name_72" WHERE "award" = "tony award" AND "best revival of a musical" = "category"